Re: How to print __u128_t in kernel?