GICC_PMR_NS_PRIORITIES
| ((IPL_HIGH - ipl) * GICC_PMR_NS_PRIORITIES / NIPL);
- (priority & ~GICC_PMR_NONSECURE) * NIPL / GICC_PMR_NS_PRIORITIES;