Searched refs:TEST_VMCS_VALUE (Results 1 – 1 of 1) sorted by relevance
10822 #define TEST_VMCS_VALUE 0xff55555555000000 macro10932 vmcs_write(vmcs_field, TEST_VMCS_VALUE); in test_host_value_vmcs()10940 report(get_host_value(vmcs_field, &value) || value == TEST_VMCS_VALUE, in test_host_value_vmcs()10942 field_name, value, TEST_VMCS_VALUE); in test_host_value_vmcs()