Symbol: __HYPERCALL_ARG2REG