Andrew Boie 800b35f598 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>		2019-11-06 09:04:16 -08:00
..
index.rst	doc: add more details about memory domains	2019-09-15 07:08:05 +08:00
kernelobjects.rst
memory_domain.rst	cmake: app mem partion flexibility	2019-11-05 08:44:26 -08:00
mpu_stack_objects.rst
mpu_userspace.rst
syscalls.rst	kernel: use uintptr_t for syscall arguments	2019-11-06 09:04:16 -08:00