Searched refs:test_vmcs_high (Results 1 – 1 of 1) sorted by relevance
455 static void test_vmcs_high(void) in test_vmcs_high() function2120 test_vmcs_high(); in main()