XICS_MFRR
__raw_rm_writeb(IPI_PRIORITY, xics_phys + XICS_MFRR);
__raw_rm_writeb(0xff, xics_phys + XICS_MFRR);
xics_phys + XICS_MFRR);