APLIC_xMSICFGADDR_PPN_LHX_SHIFT
hart_index = (tppn >> APLIC_xMSICFGADDR_PPN_LHX_SHIFT(mc->lhxs)) &
APLIC_xMSICFGADDR_PPN_LHX_SHIFT(__lhxs))