Searched refs:guest_exception_count (Results 1 – 1 of 1) sorted by relevance
77 static int guest_exception_count; variable156 guest_exception_count = 0; in test_rdmsr()173 guest_exception_count = 0; in test_wrmsr()190 guest_exception_count = 0; in test_em_rdmsr()207 guest_exception_count = 0; in test_em_wrmsr()228 GUEST_ASSERT(guest_exception_count == 0); in guest_code_filter_allow()231 GUEST_ASSERT(guest_exception_count == 0); in guest_code_filter_allow()234 GUEST_ASSERT(guest_exception_count == 1); in guest_code_filter_allow()243 GUEST_ASSERT(guest_exception_count == 1); in guest_code_filter_allow()246 GUEST_ASSERT(guest_exception_count == 1); in guest_code_filter_allow()[all …]
