get_jiffies_64 80 include/linux/jiffies.h u64 get_jiffies_64(void); get_jiffies_64 485 include/net/tcp.h u64 val = get_jiffies_64();