os_cpu_number
OS_ASSERT(os_cpu_number(cpu) >= 0 && os_cpu_number(cpu) < haiku_smp_get_num_cpus());
call_single_cpu_sync((uint32)os_cpu_number(cpu), func, arg);
int os_cpu_number(os_cpu_t *cpu);
int32 cpu_index = os_cpu_number(cpu);
hsave[os_cpu_number(cpu)].pa = os_pa_zalloc();
vmxoncpu[os_cpu_number(cpu)].pa = pa;
vmxoncpu[os_cpu_number(cpu)].va = va;
vmxon = (struct vmxon *)vmxoncpu[os_cpu_number(cpu)].va;
OS_ASSERT(os_cpu_number(cpu) >= 0 && os_cpu_number(cpu) < haiku_smp_get_num_cpus());
call_single_cpu_sync((uint32)os_cpu_number(cpu), func, arg);
int os_cpu_number(os_cpu_t *cpu);
int32 cpu_index = os_cpu_number(cpu);
hsave[os_cpu_number(cpu)].pa = os_pa_zalloc();
vmxoncpu[os_cpu_number(cpu)].pa = pa;
vmxoncpu[os_cpu_number(cpu)].va = va;
vmxon = (struct vmxon *)vmxoncpu[os_cpu_number(cpu)].va;