Lines Matching refs:vcpuid

136 		return (vlapic->vcpuid);  in vlapic_get_id()
138 return (vlapic->vcpuid << 24); in vlapic_get_id()
500 vcpu_notify_event_type(vlapic->vm, vlapic->vcpuid, notify); in vlapic_fire_lvt()
503 (void) vm_inject_nmi(vlapic->vm, vlapic->vcpuid); in vlapic_fire_lvt()
506 (void) vm_inject_extint(vlapic->vm, vlapic->vcpuid); in vlapic_fire_lvt()
612 vioapic_process_eoi(vlapic->vm, vlapic->vcpuid, in vlapic_process_eoi()
618 vmm_stat_incr(vlapic->vm, vlapic->vcpuid, VLAPIC_GRATUITOUS_EOI, 1); in vlapic_process_eoi()
654 vmm_stat_incr(vlapic->vm, vlapic->vcpuid, VLAPIC_INTR_ERROR, 1); in vlapic_set_error()
666 vmm_stat_incr(vlapic->vm, vlapic->vcpuid, VLAPIC_INTR_TIMER, 1); in vlapic_fire_timer()
678 vmm_stat_incr(vlapic->vm, vlapic->vcpuid, VLAPIC_INTR_CMC, 1); in vlapic_fire_cmci()
697 vlapic->vcpuid); in vlapic_trigger_lvt()
701 vlapic->vcpuid); in vlapic_trigger_lvt()
718 vmm_stat_array_incr(vlapic->vm, vlapic->vcpuid, in vlapic_trigger_lvt()
821 int vcpuid; in vlapic_calcdest() local
837 vcpuid = vm_apicid2vcpuid(vm, dest); in vlapic_calcdest()
839 if (vcpuid < vm_get_maxcpus(vm) && CPU_ISSET(vcpuid, &amask)) in vlapic_calcdest()
840 CPU_SET(vcpuid, dmask); in vlapic_calcdest()
866 while ((vcpuid = CPU_FFS(&amask)) != 0) { in vlapic_calcdest()
867 vcpuid--; in vlapic_calcdest()
868 CPU_CLR(vcpuid, &amask); in vlapic_calcdest()
870 vlapic = vm_lapic(vm, vcpuid); in vlapic_calcdest()
899 CPU_SET(vcpuid, dmask); in vlapic_calcdest()
927 vm_inject_gp(vlapic->vm, vlapic->vcpuid); in vlapic_set_cr8()
1073 CPU_SETOF(vlapic->vcpuid, &dmask); in vlapic_icrlo_write_handler()
1080 CPU_CLR(vlapic->vcpuid, &dmask); in vlapic_icrlo_write_handler()
1096 vmm_stat_incr(vlapic->vm, vlapic->vcpuid, in vlapic_icrlo_write_handler()
1127 (void) lapic_intr_edge(vlapic->vm, vlapic->vcpuid, vec); in vlapic_self_ipi_handler()
1128 vmm_stat_incr(vlapic->vm, vlapic->vcpuid, VLAPIC_IPI_SEND, 1); in vlapic_self_ipi_handler()
1129 vmm_stat_incr(vlapic->vm, vlapic->vcpuid, VLAPIC_IPI_RECV, 1); in vlapic_self_ipi_handler()
1436 if (vlapic->vcpuid == 0) in vlapic_reset()
1481 KASSERT(vlapic->vcpuid >= 0 && in vlapic_init()
1482 vlapic->vcpuid < vm_get_maxcpus(vlapic->vm), in vlapic_init()
1708 vlapic_set_x2apic_state(struct vm *vm, int vcpuid, enum x2apic_state state) in vlapic_set_x2apic_state() argument
1713 vlapic = vm_lapic(vm, vcpuid); in vlapic_set_x2apic_state()
1747 int vcpuid; in vlapic_deliver_intr() local
1765 while ((vcpuid = CPU_FFS(&dmask)) != 0) { in vlapic_deliver_intr()
1766 vcpuid--; in vlapic_deliver_intr()
1767 CPU_CLR(vcpuid, &dmask); in vlapic_deliver_intr()
1769 (void) vm_inject_extint(vm, vcpuid); in vlapic_deliver_intr()
1771 (void) lapic_set_intr(vm, vcpuid, vec, level); in vlapic_deliver_intr()
1820 vlapic_data_read(struct vm *vm, int vcpuid, const vmm_data_req_t *req) in vlapic_data_read() argument
1826 struct vlapic *vlapic = vm_lapic(vm, vcpuid); in vlapic_data_read()
1978 vlapic_data_write(struct vm *vm, int vcpuid, const vmm_data_req_t *req) in vlapic_data_write() argument
1984 struct vlapic *vlapic = vm_lapic(vm, vcpuid); in vlapic_data_write()