Home
last modified time | relevance | path

Searched refs:loadvmcs (Results 1 – 1 of 1) sorted by relevance

/openbsd/src/sys/arch/amd64/amd64/
Dvmm_machdep.c1027 vcpu_readregs_vmx(struct vcpu *vcpu, uint64_t regmask, int loadvmcs, in vcpu_readregs_vmx() argument
1039 if (loadvmcs) { in vcpu_readregs_vmx()
1306 vcpu_writeregs_vmx(struct vcpu *vcpu, uint64_t regmask, int loadvmcs, in vcpu_writeregs_vmx() argument
1319 if (loadvmcs) { in vcpu_writeregs_vmx()
1429 if (loadvmcs) { in vcpu_writeregs_vmx()