Lines Matching refs:vcpuid
90 return (vlapic->vcpuid); in vlapic_get_id()
92 return (vlapic->vcpuid << 24); in vlapic_get_id()
819 int vcpuid; in vlapic_calcdest() local
835 vcpuid = vm_apicid2vcpuid(vm, dest); in vlapic_calcdest()
837 if (vcpuid < vm_get_maxcpus(vm) && CPU_ISSET(vcpuid, &amask)) in vlapic_calcdest()
838 CPU_SET(vcpuid, dmask); in vlapic_calcdest()
864 CPU_FOREACH_ISSET(vcpuid, &amask) { in vlapic_calcdest()
865 vlapic = vm_lapic(vm_vcpu(vm, vcpuid)); in vlapic_calcdest()
896 CPU_SET(vcpuid, dmask); in vlapic_calcdest()
1063 CPU_SETOF(vlapic->vcpuid, &dmask); in vlapic_icrlo_write_handler()
1070 CPU_CLR(vlapic->vcpuid, &dmask); in vlapic_icrlo_write_handler()
1126 i == vlapic->vcpuid) in vlapic_icrlo_write_handler()
1588 KASSERT(vlapic->vcpuid >= 0 && in vlapic_init()
1589 vlapic->vcpuid < vm_get_maxcpus(vlapic->vm), in vlapic_init()
1606 if (vlapic->vcpuid == 0) in vlapic_init()
1683 int vcpuid; in vlapic_deliver_intr() local
1701 CPU_FOREACH_ISSET(vcpuid, &dmask) { in vlapic_deliver_intr()
1702 vcpu = vm_vcpu(vm, vcpuid); in vlapic_deliver_intr()
1793 if (!CPU_ISSET(vlapic->vcpuid, &dmask)) in vlapic_set_tmr_level()