Lines Matching refs:U32
21 OS_SEC_ALW_INLINE INLINE void OsAdd64X(U32 oldLow, U32 oldHigh, U32 *low, U32 *high)
33 OS_SEC_L4_TEXT void OsAdd64(U32 *low, U32 *high, U32 oldLow, U32 oldHigh)
41 OS_SEC_ALW_INLINE INLINE void OsSub64X(U32 oldLow, U32 oldHigh, U32 *low, U32 *high)
53 OS_SEC_L4_TEXT void OsSub64(U32 *low, U32 *high, U32 oldLow, U32 oldHigh)
58 OS_SEC_L4_TEXT U32 OsGetLmb1(U32 value)
61 U32 max = 0;
64 if (((1U << (U32)i) & value) != 0) {
65 max = (U32)i;