Searched refs:expected_ec (Results 1 – 1 of 1) sorted by relevance
296 uint64_t expected_ec = INVALID_EC; variable305 __GUEST_ASSERT(expected_ec == ec, in guest_sync_handler()307 regs->pc, esr, ec, expected_ec); in guest_sync_handler()313 expected_ec = INVALID_EC; in guest_sync_handler()325 WRITE_ONCE(expected_ec, ec); \328 GUEST_ASSERT(expected_ec == INVALID_EC); \