| 2211 | } |
| 2212 | |
| 2213 | void |
| 2214 | vm_extint_clear(struct vm *vm, int vcpuid) |
| 2215 | { |
| 2216 | struct vcpu *vcpu; |
| 2217 | |
| 2218 | if (vcpuid < 0 || vcpuid >= vm->maxcpus) |
| 2219 | panic("vm_extint_pending: invalid vcpuid %d", vcpuid); |
| 2220 | |
| 2221 | vcpu = &vm->vcpu[vcpuid]; |
| 2222 | |
| 2223 | if (vcpu->extint_pending == 0) |
| 2224 | panic("vm_extint_clear: inconsistent extint_pending state"); |
| 2225 | |
| 2226 | vcpu->extint_pending = 0; |
| 2227 | vmm_stat_incr(vm, vcpuid, VCPU_EXTINT_COUNT, 1); |
| 2228 | } |
| 2229 | |
| 2230 | int |
| 2231 | vm_get_capability(struct vm *vm, int vcpu, int type, int *retval) |
no test coverage detected