Symbol: kvmppc_xive_xics_hcall