Searched refs:tbppn (Results 1 – 1 of 1) sorted by relevance
85 phys_addr_t tppn, tbppn, msg_addr; in aplic_msi_write_msg() local104 tbppn = tppn; in aplic_msi_write_msg()105 tbppn &= ~APLIC_xMSICFGADDR_PPN_HART(mc->lhxs); in aplic_msi_write_msg()106 tbppn &= ~APLIC_xMSICFGADDR_PPN_LHX(mc->lhxw, mc->lhxs); in aplic_msi_write_msg()107 tbppn &= ~APLIC_xMSICFGADDR_PPN_HHX(mc->hhxw, mc->hhxs); in aplic_msi_write_msg()108 WARN_ON(tbppn != mc->base_ppn); in aplic_msi_write_msg()