tree a1be27549943cf3759fbc1d10dd298cffdf6c995
parent e108898270e9d31454a5b22ac976f20f107a087d
author Andrew Boie <andrew.p.boie@intel.com> 1572974838 -0800
committer Andrew Boie <andrewboie@gmail.com> 1573059856 -0800

kernel: use uintptr_t for syscall arguments

We need to pass system call args using a register-width
data type and not hard-code this to u32_t.

Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>