Home
last modified time | relevance | path

Searched refs:vmm_ipinum (Results 1 – 3 of 3) sorted by relevance

/freebsd/sys/amd64/vmm/
H A Dvmm.c261 static int vmm_ipinum; variable
262 SYSCTL_INT(_hw_vmm, OID_AUTO, ipinum, CTLFLAG_RD, &vmm_ipinum, 0,
424 vmm_ipinum = lapic_ipi_alloc(pti ? &IDTVEC(justreturn1_pti) : in vmm_init()
426 if (vmm_ipinum < 0) in vmm_init()
427 vmm_ipinum = IPI_AST; in vmm_init()
432 return (vmmops_modinit(vmm_ipinum)); in vmm_init()
462 if (vmm_ipinum != IPI_AST) in vmm_handler()
463 lapic_ipi_free(vmm_ipinum); in vmm_handler()
2272 vmm_ipinum); in vcpu_notify_event_locked()
2274 ipi_cpu(hostcpu, vmm_ipinum); in vcpu_notify_event_locked()
/freebsd/sys/riscv/vmm/
H A Dvmm.c147 static int vmm_ipinum; variable
148 SYSCTL_INT(_hw_vmm, OID_AUTO, ipinum, CTLFLAG_RD, &vmm_ipinum, 0,
738 ipi_cpu(hostcpu, vmm_ipinum); in vcpu_notify_event_locked()
/freebsd/sys/arm64/vmm/
H A Dvmm.c156 static int vmm_ipinum; variable
157 SYSCTL_INT(_hw_vmm, OID_AUTO, ipinum, CTLFLAG_RD, &vmm_ipinum, 0,
1016 ipi_cpu(hostcpu, vmm_ipinum); in vcpu_notify_event_locked()