Searched refs:vmcs_fix_regval (Results 1 – 1 of 1) sorted by relevance
65 vmcs_fix_regval(uint32_t encoding, uint64_t val) in vmcs_fix_regval() function241 val = vmcs_fix_regval(encoding, val); in vmcs_setreg()