aboutsummaryrefslogtreecommitdiff
path: root/include/arch
diff options
context:
space:
mode:
Diffstat (limited to 'include/arch')
-rw-r--r--include/arch/proc.h2
-rw-r--r--include/arch/vmem.h5
2 files changed, 6 insertions, 1 deletions
diff --git a/include/arch/proc.h b/include/arch/proc.h
index 345f812..429f688 100644
--- a/include/arch/proc.h
+++ b/include/arch/proc.h
@@ -114,7 +114,7 @@ void adjust_syscall(struct tcb *t);
* @param fdt Pointer to FDT that is passed to \c init.
* @param initrd Pointer to initrd that is passed to \c init.
*/
-__noreturn void run_init(struct tcb *t, void *fdt, void *initrd);
+__noreturn void run_init(struct tcb *t, vm_t fdt, vm_t initrd);
/**
* Return to userspace fast.
diff --git a/include/arch/vmem.h b/include/arch/vmem.h
index 118e6ff..238b12a 100644
--- a/include/arch/vmem.h
+++ b/include/arch/vmem.h
@@ -140,6 +140,8 @@ struct vmem *init_vmem(void *fdt);
vm_t setup_kernel_io(struct vmem *b, vm_t paddr);
#endif
+struct vmem *direct_mapping();
+
/**
* Create new virtual memory space.
*
@@ -171,4 +173,7 @@ stat_t destroy_vmem(struct vmem *b);
*/
void clone_uvmem(struct vmem * restrict r, struct vmem * restrict b);
+__noreturn void to_kernelspace(void *fdt, uintptr_t load_addr,
+ struct vmem *direct_mapping, pm_t ram_base,
+ pm_t dmap);
#endif /* KMI_ARCH_PAGES_H */