Symbol: HYPERCALL_RET