Symbol: __HYPERCALL_1ARG