Move the get_user_ctx_* helpers to ros/ (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 8 Sep 2016 15:45:08 +0000 (11:45 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 16 Sep 2016 18:35:09 +0000 (14:35 -0400)
commit600e51086e007880da2025a2cef7552af43957d0
treef773ce24974199b6019c424290762bf25990ebd7
parent721947b6901834c608ea3e4e3b4606450dcd71e6
Move the get_user_ctx_* helpers to ros/ (XCC)

Userspace can use these helpers too, they are fundamentally based on the
structs that are already in the kernel headers, and we might as well have
one copy of them.

Reinstall your kernel headers.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/riscv/ros/trapframe.h
kern/arch/riscv/trap.h
kern/arch/x86/ros/trapframe.h
kern/arch/x86/trap64.h
kern/include/ros/trapframe.h
kern/src/trap.c