psm_get_cpu_id
cpun = psm_get_cpu_id();
processorid_t cpun = psm_get_cpu_id();
APIC_DEBUG_BUF_PUT(psm_get_cpu_id());
int cpuid = psm_get_cpu_id();
apic_cpus[psm_get_cpu_id()].aci_ISR_in_progress &= (2 << ipl) - 1;
uint32_t cpuid = psm_get_cpu_id();
uint32_t cpuid = psm_get_cpu_id();
apix_vector_t *vecp = xv_vector(psm_get_cpu_id(), vector);
if ((cpun == psm_get_cpu_id())) {
if ((cpun != psm_get_cpu_id())) {
((_cpuid) == psm_get_cpu_id() && !interrupts_enabled())
if ((cpuid = psm_get_cpu_id()) == 0) {
if (psm_get_cpu_id() == 0) {
(old_bind_cpu != psm_get_cpu_id())) {
processorid_t cpun = psm_get_cpu_id();
cpu_infop = &apic_cpus[psm_get_cpu_id()];
APIC_DEBUG_BUF_PUT(psm_get_cpu_id());
if (apic_break_on_cpu == psm_get_cpu_id())
cpu_infop = &apic_cpus[psm_get_cpu_id()];
apic_cpus[psm_get_cpu_id()].aci_ISR_in_progress &= (2 << ipl) - 1;
cpun = psm_get_cpu_id();
psm_get_cpu_id(), error);
psm_get_cpu_id(), error0, error1);
if ((cpun != psm_get_cpu_id())) {
extern processorid_t psm_get_cpu_id(void);
(old_bind_cpu != psm_get_cpu_id())) {
cpun = psm_get_cpu_id();