Lines Matching refs:ctrl_fld
7104 u32 ctrl_fld, u64 ctrl, in test_efer_one() argument
7110 if (ctrl_fld == EXI_CONTROLS && (ctrl & EXI_LOAD_EFER)) { in test_efer_one()
7116 if (ctrl_fld == ENT_CONTROLS && (ctrl & ENT_LOAD_EFER)) { in test_efer_one()
7132 vmcs_write(ctrl_fld, ctrl); in test_efer_one()
7144 u32 ctrl_fld, u64 ctrl_bit, u64 efer_bit, in test_efer_bit() argument
7148 u32 ctrl_saved = vmcs_read(ctrl_fld); in test_efer_bit()
7160 test_efer_one(fld, fld_name, efer, ctrl_fld, ctrl, in test_efer_bit()
7164 vmcs_write(ctrl_fld, ctrl_saved); in test_efer_bit()
7168 static void test_efer(u32 fld, const char * fld_name, u32 ctrl_fld, in test_efer() argument
7172 u32 ctrl_saved = vmcs_read(ctrl_fld); in test_efer()
7192 vmcs_write(ctrl_fld, ctrl_saved & ~ctrl_bit1); in test_efer()
7203 vmcs_write(ctrl_fld, ctrl_saved | ctrl_bit1); in test_efer()
7214 vmcs_write(ctrl_fld, ctrl_saved); in test_efer()
7221 ctrl_fld, ctrl_bit1, in test_efer()
7225 ctrl_fld, ctrl_bit1, in test_efer()
7231 ctrl_fld, ctrl_bit2, in test_efer()
7235 ctrl_fld, ctrl_bit2, in test_efer()