APLIC_TARGET_HART_IDX_SHIFT
(APLIC_TARGET_HART_IDX_MASK << APLIC_TARGET_HART_IDX_SHIFT) |
hart_idx = target >> APLIC_TARGET_HART_IDX_SHIFT;
val32 >> APLIC_TARGET_HART_IDX_SHIFT, 0,
APLIC_TARGET_HART_IDX_SHIFT)