Lines Matching refs:oldHigh
21 OS_SEC_ALW_INLINE INLINE void OsAdd64X(U32 oldLow, U32 oldHigh, U32 *low, U32 *high)
24 *high += (oldHigh + 1);
26 *high += oldHigh;
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)
44 *high -= oldHigh;
46 *high -= (oldHigh + 1);
53 OS_SEC_L4_TEXT void OsSub64(U32 *low, U32 *high, U32 oldLow, U32 oldHigh)
55 OsSub64X(oldLow, oldHigh, low, high);