Searched refs:tppn (Results 1 – 1 of 1) sorted by relevance
85 phys_addr_t tppn, tbppn, msg_addr; in aplic_msi_write_msg() local101 tppn = msg_addr >> APLIC_xMSICFGADDR_PPN_SHIFT; in aplic_msi_write_msg()104 tbppn = tppn; in aplic_msi_write_msg()111 group_index = (tppn >> APLIC_xMSICFGADDR_PPN_HHX_SHIFT(mc->hhxs)) & in aplic_msi_write_msg()113 hart_index = (tppn >> APLIC_xMSICFGADDR_PPN_LHX_SHIFT(mc->lhxs)) & in aplic_msi_write_msg()119 guest_index = tppn & APLIC_xMSICFGADDR_PPN_HART(mc->lhxs); in aplic_msi_write_msg()