Symbol: kvmppc_xics_hcall