vm_get_capability
error = vm_get_capability(vcpu, VM_CAP_UNRESTRICTED_GUEST, &tmp);
int vm_get_capability(struct vcpu *vcpu, enum vm_cap_type cap,
int vm_get_capability(struct vcpu *vcpu, int type, int *val);
error = vm_get_capability(vcpu,
error = vm_get_capability(vcpu, VM_CAP_RDPID,
error = vm_get_capability(vcpu,
int vm_get_capability(struct vcpu *vcpu, int type, int *val);
error = vm_get_capability(vcpu, vmcap->captype, &vmcap->capval);
int vm_get_capability(struct vcpu *vcpu, int type, int *val);
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);
if (vm_get_capability(vcpu, VM_CAP_MTRAP_EXIT, &val) != 0) {
if (vm_get_capability(vcpu, VM_CAP_RFLAGS_TF, &val) != 0)
error = vm_get_capability(bsp, VM_CAP_SSTC, &retval);
error = vm_get_capability(vcpu, captype, &val);