Symbol: __u64seq_to_ulseq
kernel/printk/printk_ringbuffer.h
410
#define __u64seq_to_ulseq(u64seq) (u64seq)
kernel/printk/printk_ringbuffer.h
416
#define __u64seq_to_ulseq(u64seq) ((u32)u64seq)