APLIC_TARGET_GUEST_IDX_SHIFT
(APLIC_TARGET_GUEST_IDX_MASK << APLIC_TARGET_GUEST_IDX_SHIFT);
guest_idx = target >> APLIC_TARGET_GUEST_IDX_SHIFT;
APLIC_TARGET_GUEST_IDX_SHIFT);
APLIC_TARGET_GUEST_IDX_SHIFT)