Symbol: _hypercall1