Searched refs:guest_exception_count (Results 1 – 1 of 1) sorted by relevance
70 static int guest_exception_count; variable149 guest_exception_count = 0; in test_rdmsr()166 guest_exception_count = 0; in test_wrmsr()183 guest_exception_count = 0; in test_em_rdmsr()200 guest_exception_count = 0; in test_em_wrmsr()221 GUEST_ASSERT(guest_exception_count == 0); in guest_code_filter_allow()224 GUEST_ASSERT(guest_exception_count == 0); in guest_code_filter_allow()227 GUEST_ASSERT(guest_exception_count == 1); in guest_code_filter_allow()236 GUEST_ASSERT(guest_exception_count == 1); in guest_code_filter_allow()239 GUEST_ASSERT(guest_exception_count == 1); in guest_code_filter_allow()[all …]