@@ -4995,7 +4995,7 @@ static void test_sysenter_field(u32 field, const char *name)
vmcs_write(field, addr_saved);
}
-static void guest_pat_main(void)
+static void guest_state_test_main(void)
{
while (1) {
if (vmx_get_test_stage() != 2)
@@ -5097,7 +5097,7 @@ static void test_pat(u32 fld, const char * fld_name, u32 ctrl_fld, u64 ctrl_bit)
vmcs_clear_bits(ctrl_fld, ctrl_bit);
if (fld == GUEST_PAT) {
vmx_set_test_stage(1);
- test_set_guest(guest_pat_main);
+ test_set_guest(guest_state_test_main);
}
for (i = 0; i < 256; i = (i < PAT_VAL_LIMIT) ? i + 1 : i * 2) {