Searched refs:VKI_ADJ_TICK (Results 1 – 2 of 2) sorted by relevance
350 #define VKI_ADJ_TICK 0x4000 /* tick value */ macro
827 ADJX(VKI_ADJ_TICK, tick); in PRE()861 ADJX(VKI_ADJ_TICK, tick); in PRE()