Symbol: kvmppc_xics_clr_mapped