vm_get_capability
err = vm_get_capability(vcpu, VM_CAP_HALT_EXIT, &tmp);
err = vm_get_capability(vcpu, VM_CAP_PAUSE_EXIT, &tmp);
error = vm_get_capability(vcpu, VM_CAP_UNRESTRICTED_GUEST, &tmp);
error = vm_get_capability(vcpu, VM_CAP_MTRAP_EXIT, &val);
error = vm_get_capability(vcpu, captype, &val);
int vm_get_capability(struct vcpu *vcpu, enum vm_cap_type cap,
if (vm_get_capability(vcpu, checks[i].cap, &val) != 0) {
int vm_get_capability(struct vm *vm, int vcpu, int type, int *val);
error = vm_get_capability(vm, vcpu_id,
error = vm_get_capability(sc->vmm_vm, vcpu, vmcap.captype,