Symbol: _hypercall4