Searched refs:hv_max_vp_index (Results 1 – 3 of 3) sorted by relevance
220 extern uint32_t hv_max_vp_index;
91 int max_vcpu_bank = hv_max_vp_index / HV_VCPUS_PER_SPARSE_BANK; in hv_cpumask_to_vpset()
222 uint32_t hv_max_vp_index; variable764 if (VMBUS_PCPU_GET(sc, vcpuid, cpu) > hv_max_vp_index) in vmbus_synic_setup()765 hv_max_vp_index = VMBUS_PCPU_GET(sc, vcpuid, cpu); in vmbus_synic_setup()