Searched refs:expected_ec (Results 1 – 1 of 1) sorted by relevance
290 uint64_t expected_ec = INVALID_EC; variable299 __GUEST_ASSERT(expected_ec == ec, in guest_sync_handler()301 regs->pc, esr, ec, expected_ec); in guest_sync_handler()307 expected_ec = INVALID_EC; in guest_sync_handler()319 WRITE_ONCE(expected_ec, ec); \322 GUEST_ASSERT(expected_ec == INVALID_EC); \