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