Searched refs:bit64 (Results 1 – 1 of 1) sorted by relevance
77 int bit64; in tf_printf() local84 bit64 = 0; in tf_printf()93 if (bit64) in tf_printf()111 if (bit64) in tf_printf()119 bit64 = 1; in tf_printf()123 if (bit64) in tf_printf()