| 2198 | } |
| 2199 | |
| 2200 | int |
| 2201 | vm_extint_pending(struct vm *vm, int vcpuid) |
| 2202 | { |
| 2203 | struct vcpu *vcpu; |
| 2204 | |
| 2205 | if (vcpuid < 0 || vcpuid >= vm->maxcpus) |
| 2206 | panic("vm_extint_pending: invalid vcpuid %d", vcpuid); |
| 2207 | |
| 2208 | vcpu = &vm->vcpu[vcpuid]; |
| 2209 | |
| 2210 | return (vcpu->extint_pending); |
| 2211 | } |
| 2212 | |
| 2213 | void |
| 2214 | vm_extint_clear(struct vm *vm, int vcpuid) |
no test coverage detected