__ulseq_to_u64seq
#define __ulseq_to_u64seq(rb, ulseq) (ulseq)
static inline u64 __ulseq_to_u64seq(struct printk_ringbuffer *rb, u32 ulseq)