Ignore:
File:
1 edited

Legend:

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

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