Symbol: HYPERCALL_RES1