os_cpu_t
extern "C" os_cpu_t*
os_cpu_number(os_cpu_t *cpu)
os_ipi_unicast(os_cpu_t *cpu, void (*func)(void *, int), void *arg)
os_cpu_t* haiku_get_cpu_struct(uint32 cpu_number);
int os_cpu_number(os_cpu_t *cpu);
os_ipi_unicast(os_cpu_t *cpu, void (*func)(void *, void *), void *arg)
os_ipi_unicast(os_cpu_t *cpu, void (*func)(void *), void *arg)
void os_ipi_unicast(os_cpu_t *cpu, void (*func)(void *, int), void *arg);
os_cpu_t *cpu;
os_cpu_t *cpu;
os_cpu_t *vmcs_cpu;
vmx_vmclear_remote(os_cpu_t *cpu, paddr_t vmcs_pa)
os_cpu_t *vmcs_cpu;
extern "C" os_cpu_t*
os_cpu_number(os_cpu_t *cpu)
os_ipi_unicast(os_cpu_t *cpu, void (*func)(void *, int), void *arg)
os_cpu_t* haiku_get_cpu_struct(uint32 cpu_number);
int os_cpu_number(os_cpu_t *cpu);
os_ipi_unicast(os_cpu_t *cpu, void (*func)(void *, void *), void *arg)
os_ipi_unicast(os_cpu_t *cpu, void (*func)(void *), void *arg)
void os_ipi_unicast(os_cpu_t *cpu, void (*func)(void *, int), void *arg);
os_cpu_t *cpu;
os_cpu_t *cpu;
os_cpu_t *vmcs_cpu;
vmx_vmclear_remote(os_cpu_t *cpu, paddr_t vmcs_pa)
os_cpu_t *vmcs_cpu;