Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/riscv64/src/userspace.c

    rc09ff7b r8b6aa39  
    3333 */
    3434
     35#include <userspace.h>
     36#include <typedefs.h>
     37#include <arch.h>
    3538#include <abi/proc/uarg.h>
    36 #include <userspace.h>
     39#include <mm/as.h>
    3740
    3841void userspace(uspace_arg_t *kernel_uarg)
Note: See TracChangeset for help on using the changeset viewer.