typedef uint32_t uarg_t; /* Holds arguments */
typedef uint32_t usize_t; /* Largest value passed by userspace */
typedef int32_t susize_t;
+typedef int32_t ssize_t;
typedef uint32_t uaddr_t;
typedef uint32_t uptr_t; /* User pointer equivalent */
+
#define uputp uputl /* Copy user pointer type */
#define ugetp ugetl /* between user and kernel */
/* All our binaries are zero address based */
-uint8_t *pagemap_base(void)
+uaddr_t pagemap_base(void)
{
- return (uint8_t*)0x20000UL;
+ return 0x20000UL;
}
void program_mmu(uint8_t *phys, usize_t top)