APLIC_xMSICFGADDR_PPN_HART
tbppn &= ~APLIC_xMSICFGADDR_PPN_HART(mc->lhxs);
guest_index = tppn & APLIC_xMSICFGADDR_PPN_HART(mc->lhxs);
mc->base_ppn &= ~APLIC_xMSICFGADDR_PPN_HART(mc->lhxs);