Symbol: __HYPERCALL_ARG4REG