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