haiku_smp_get_num_cpus
OS_ASSERT(os_cpu_number(cpu) >= 0 && os_cpu_number(cpu) < haiku_smp_get_num_cpus());
uint32 _ncpus = haiku_smp_get_num_cpus(); \
int32 haiku_smp_get_num_cpus();
hsave = os_mem_zalloc(sizeof(struct svm_hsave) * haiku_smp_get_num_cpus());
size_t n_cpus = haiku_smp_get_num_cpus();
vmxoncpu = os_mem_zalloc(sizeof(struct vmxoncpu) * haiku_smp_get_num_cpus());
size_t n_cpus = haiku_smp_get_num_cpus();
OS_ASSERT(os_cpu_number(cpu) >= 0 && os_cpu_number(cpu) < haiku_smp_get_num_cpus());
uint32 _ncpus = haiku_smp_get_num_cpus(); \
int32 haiku_smp_get_num_cpus();
hsave = os_mem_zalloc(sizeof(struct svm_hsave) * haiku_smp_get_num_cpus());
size_t n_cpus = haiku_smp_get_num_cpus();
vmxoncpu = os_mem_zalloc(sizeof(struct vmxoncpu) * haiku_smp_get_num_cpus());
size_t n_cpus = haiku_smp_get_num_cpus();