Searched refs:ctrl_bit1 (Results 1 – 1 of 1) sorted by relevance
7169 u64 ctrl_bit1, u64 ctrl_bit2) in test_efer() argument7180 if (!ctrl_bit1) { 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()7221 ctrl_fld, ctrl_bit1, in test_efer()7225 ctrl_fld, ctrl_bit1, in test_efer()