Symbol: __HYPERCALL_4ARG