Searched refs:INT_KEYS_TIMESTAMP (Results 1 – 3 of 3) sorted by relevance
235 #define INT_KEYS_TIMESTAMP Yap_heap_regs->int_keys_timestamp macro
259 UInt int_keys_timestamp INT_KEYS_TIMESTAMP =0L void
2571 INT_KEYS_TIMESTAMP++; in resize_int_keys()2572 if (INT_KEYS_TIMESTAMP == MAX_ABS_INT) in resize_int_keys()2573 INT_KEYS_TIMESTAMP = 0; in resize_int_keys()4872 EXTRA_CBACK_ARG(2,3) = MkIntTerm(INT_KEYS_TIMESTAMP); in cont_current_key()4921 if (tstamp != INT_KEYS_TIMESTAMP) { in cont_current_key_integer()