Symbol: kvmppc_xive_clr_mapped