| 2517 | } |
| 2518 | |
| 2519 | void |
| 2520 | vcpu_notify_event(struct vm *vm, int vcpuid, bool lapic_intr) |
| 2521 | { |
| 2522 | struct vcpu *vcpu = &vm->vcpu[vcpuid]; |
| 2523 | |
| 2524 | vcpu_lock(vcpu); |
| 2525 | vcpu_notify_event_locked(vcpu, lapic_intr); |
| 2526 | vcpu_unlock(vcpu); |
| 2527 | } |
| 2528 | |
| 2529 | struct vmspace * |
| 2530 | vm_get_vmspace(struct vm *vm) |
no test coverage detected