Searched refs:vcpu_unhalt (Results 1 – 3 of 3) sorted by relevance
| /openbsd/usr.sbin/vmd/ | ||
| H A D | vmd.h | 538 void vcpu_unhalt(uint32_t); |
| H A D | x86_vm.c | 997 vcpu_unhalt(vcpu_id); in vcpu_assert_irq() |
| H A D | vm.c | 1480 vcpu_unhalt(uint32_t vcpu_id) in vcpu_unhalt() function |