Home
last modified time | relevance | path

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

/openbsd/src/sys/arch/amd64/amd64/
Dvmm_machdep.c134 void svm_setmsrbw(struct vcpu *, uint32_t);
1739 svm_setmsrbw(struct vcpu *vcpu, uint32_t msr) in svm_setmsrbw() function
1783 svm_setmsrbw(vcpu, msr); in svm_setmsrbrw()