get_boot_time     429 src/filelock.c   intmax_t boot = get_boot_time ();
get_boot_time     621 src/filelock.c 		       && within_one_second (boot_time, get_boot_time ()))))