Florian Hofhammer <[email protected]> writes: > From: Pierrick Bouvier <[email protected]> > > Syscall arguments are abi_long in user code, and plugin syscall > interface works with uint64_t only. > > According to C integer promotion rules, the value is sign extended > before becoming unsigned, thus setting high bits when only 32-bit lower > ones should have a significant value. > > As a result, we need to clamp values we receive from user-code > accordingly. > > Signed-off-by: Pierrick Bouvier <[email protected]>
Reviewed-by: Alex Bennée <[email protected]> -- Alex Bennée Virtualisation Tech Lead @ Linaro
