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