Searched refs:ncpu_guest_max (Results 1 – 5 of 5) sorted by relevance
94 size = ncpu_guest_max * sizeof (uint16_t); in cpu_intrq_setup()204 cpu_list_size = ncpu_guest_max * sizeof (uint16_t); in cpu_intrq_cleanup()
60 uint64_t ncpu_guest_max; variable880 ncpu_guest_max = NCPU; in get_q_sizes()881 (void) md_get_prop_val(mdp, platlist[0], "max-cpus", &ncpu_guest_max); in get_q_sizes()882 max_qsize = ncpu_guest_max * CPU_MONDO_Q_MULTIPLIER; in get_q_sizes()
446 extern uint64_t ncpu_guest_max;
737 contig_mem_prealloc_size = MIN((PREALLOC_PER_CPU * ncpu_guest_max) + in contig_mem_prealloc()
1926 tstat_num4m_mapping = TSTAT_NUM4M_MACRO(ncpu_guest_max); in trapstat_go()