9 Sep
2024
9 Sep
'24
10:38 a.m.
Add explicit casting to prevent expantion of 32th bit of u32 into highest half of u64.
Found by Linux Verification Center (linuxtesting.org) with SVACE.