Searched refs:binary_point (Results 1 – 1 of 1) sorted by relevance
784 __STATIC_INLINE void GIC_SetBinaryPoint(uint32_t binary_point) in GIC_SetBinaryPoint() argument786 GICInterface->BPR = binary_point & 7U; //set binary point in GIC_SetBinaryPoint()868 __STATIC_INLINE void GIC_SetBinaryPoint(uint32_t binary_point) in GIC_SetBinaryPoint() argument870 __MSR(ICC_BPR1_EL1, binary_point & 7U); in GIC_SetBinaryPoint()
