Symbol: assert_exit_was_hypercall