Lines Matching refs:check_all_vmcs_fields

326 static bool check_all_vmcs_fields(u8 cookie)  in check_all_vmcs_fields()  function
377 	report(check_all_vmcs_fields(0x42), "VMWRITE/VMREAD");  in test_vmwrite_vmread()
503 	report(check_all_vmcs_fields(0), "current:VMCS0 active:[VMCS0]");  in test_vmcs_lifecycle()
507 	report(check_all_vmcs_fields(0), "current:VMCS0 active:[VMCS0]");  in test_vmcs_lifecycle()
510 	report(check_all_vmcs_fields(0), "current:VMCS0 active:[VMCS0]");  in test_vmcs_lifecycle()
514 	report(check_all_vmcs_fields(1), "current:VMCS1 active:[VMCS0,VCMS1]");  in test_vmcs_lifecycle()
517 	report(check_all_vmcs_fields(0), "current:VMCS0 active:[VMCS0,VCMS1]");  in test_vmcs_lifecycle()
519 	report(check_all_vmcs_fields(1), "current:VMCS1 active:[VMCS0,VCMS1]");  in test_vmcs_lifecycle()
521 	report(check_all_vmcs_fields(1), "current:VMCS1 active:[VMCS0,VCMS1]");  in test_vmcs_lifecycle()
524 	report(check_all_vmcs_fields(1), "current:VMCS1 active:[VCMS1]");  in test_vmcs_lifecycle()
529 	report(check_all_vmcs_fields(2), "current:VMCS1 active:[VCMS1]");  in test_vmcs_lifecycle()
742 	report(check_all_vmcs_fields(0x86),  in test_vmclear_flushing()
750 	report(check_all_vmcs_fields(0x87),  in test_vmclear_flushing()