Searched refs:ctrl_field (Results 1 – 1 of 1) sorted by relevance
7281 static void test_pat(u32 field, const char * field_name, u32 ctrl_field, in test_pat() argument7285 u32 ctrl_saved = vmcs_read(ctrl_field); in test_pat()7291 vmcs_clear_bits(ctrl_field, ctrl_bit); in test_pat()7310 vmcs_set_bits(ctrl_field, ctrl_bit); in test_pat()7347 vmcs_write(ctrl_field, ctrl_saved); in test_pat()