diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2013-12-14 01:59:48 -0800 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2013-12-14 01:59:48 -0800 |
commit | 89a0cefd28cb7bdd33e0d17d43cfad5ae6d7e19f (patch) | |
tree | e73634ddd358d588b3c0a133207a89b7f9c53da0 /pk/pk.h | |
parent | a502c24732b1eb9f13c9addde81f2be536092fe1 (diff) | |
download | pk-89a0cefd28cb7bdd33e0d17d43cfad5ae6d7e19f.zip pk-89a0cefd28cb7bdd33e0d17d43cfad5ae6d7e19f.tar.gz pk-89a0cefd28cb7bdd33e0d17d43cfad5ae6d7e19f.tar.bz2 |
Add -p flag: force physical memory addressing
Diffstat (limited to 'pk/pk.h')
-rw-r--r-- | pk/pk.h | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -34,7 +34,8 @@ extern "C" { #endif extern int have_fp; -extern int have_vector; +extern int have_accelerator; +extern int have_vm; extern uint32_t mem_mb; int emulate_fp(trapframe_t*); void init_fp(trapframe_t* tf); |