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);