Lines Matching defs:oldLow
21 OS_SEC_ALW_INLINE INLINE void OsAdd64X(U32 oldLow, U32 oldHigh, U32 *low, U32 *high)
23 if (*low > OS_MAX_U32 - oldLow) {
28 *low += oldLow;
33 OS_SEC_L4_TEXT void OsAdd64(U32 *low, U32 *high, U32 oldLow, U32 oldHigh)
35 OsAdd64X(oldLow, oldHigh, low, high);
41 OS_SEC_ALW_INLINE INLINE void OsSub64X(U32 oldLow, U32 oldHigh, U32 *low, U32 *high)
43 if (*low >= oldLow) {
48 *low -= oldLow;
53 OS_SEC_L4_TEXT void OsSub64(U32 *low, U32 *high, U32 oldLow, U32 oldHigh)
55 OsSub64X(oldLow, oldHigh, low, high);