Searched refs:guest_exception_count (Results 1 – 1 of 1) sorted by relevance
76 static int guest_exception_count; variable155 guest_exception_count = 0; in test_rdmsr()172 guest_exception_count = 0; in test_wrmsr()189 guest_exception_count = 0; in test_em_rdmsr()206 guest_exception_count = 0; in test_em_wrmsr()227 GUEST_ASSERT(guest_exception_count == 0); in guest_code_filter_allow()230 GUEST_ASSERT(guest_exception_count == 0); in guest_code_filter_allow()233 GUEST_ASSERT(guest_exception_count == 1); in guest_code_filter_allow()242 GUEST_ASSERT(guest_exception_count == 1); in guest_code_filter_allow()245 GUEST_ASSERT(guest_exception_count == 1); in guest_code_filter_allow()[all …]