Symbol: __HYPERCALL_ARG1REG