aboutsummaryrefslogtreecommitdiff
path: root/pk/pk.h
diff options
context:
space:
mode:
authorChristopher Celio <celio@eecs.berkeley.edu>2012-09-07 21:56:51 -0700
committerChristopher Celio <celio@eecs.berkeley.edu>2012-09-07 21:56:51 -0700
commitd6a522404a38405ecfad78839d4c29bf5cb02e9b (patch)
tree3ccddd3e3d13a82fe187c25cfb45203108e9035e /pk/pk.h
parent6336ef155fabdd15eecf11949b7e13a49e279738 (diff)
downloadpk-d6a522404a38405ecfad78839d4c29bf5cb02e9b.zip
pk-d6a522404a38405ecfad78839d4c29bf5cb02e9b.tar.gz
pk-d6a522404a38405ecfad78839d4c29bf5cb02e9b.tar.bz2
Added rough emulation support for div/rem/mul.
Diffstat (limited to 'pk/pk.h')
-rw-r--r--pk/pk.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/pk/pk.h b/pk/pk.h
index 4c343a5..84d1b9a 100644
--- a/pk/pk.h
+++ b/pk/pk.h
@@ -32,6 +32,8 @@ extern uint32_t mem_mb;
int emulate_fp(trapframe_t*);
void init_fp(trapframe_t* tf);
+int emulate_int(trapframe_t*);
+
void printk(const char* s, ...);
void init_tf(trapframe_t*, long pc, long sp, int user64);
void pop_tf(trapframe_t*);