Symbol: HYPERCALL_PTR