diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-04-10 14:58:00 -0700 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-04-10 14:58:00 -0700 |
commit | e474878db4a406fb0bc7f6051314352f4406fcd2 (patch) | |
tree | 3286da6cb52877f8d51f2346f0ec51bbb236f23a /pk/pk.h | |
parent | 01fd29cb6ef8202ef6201f6f471dec9cbd1a4145 (diff) | |
download | pk-e474878db4a406fb0bc7f6051314352f4406fcd2.zip pk-e474878db4a406fb0bc7f6051314352f4406fcd2.tar.gz pk-e474878db4a406fb0bc7f6051314352f4406fcd2.tar.bz2 |
Fix stack discipline for recursive traps
Diffstat (limited to 'pk/pk.h')
-rw-r--r-- | pk/pk.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -50,7 +50,7 @@ struct mainvars* parse_args(struct mainvars*); void printk(const char* s, ...); int snprintf(char* out, size_t n, const char* s, ...); void init_tf(trapframe_t*, long pc, long sp, int user64); -void pop_tf(trapframe_t*) __attribute__((noreturn)); +void start_user(trapframe_t* tf) __attribute__((noreturn)); void dump_tf(trapframe_t*); void unhandled_trap(trapframe_t*); |