pxm_bit_set       391 arch/ia64/kernel/acpi.c 	pxm_bit_set(pxm);
pxm_bit_set       424 arch/ia64/kernel/acpi.c 	pxm_bit_set(pxm);