diff options
author | Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU> | 2010-08-24 02:22:20 -0700 |
---|---|---|
committer | Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU> | 2010-08-24 02:22:20 -0700 |
commit | dd84f5743dd5527f08df7cebb1423149926eacdc (patch) | |
tree | 75f46a739d8f10d5864669bde6b7403a15adace3 /pk/frontend.c | |
parent | 049091755596801479538bcc4722bc2810471aa0 (diff) | |
download | pk-dd84f5743dd5527f08df7cebb1423149926eacdc.zip pk-dd84f5743dd5527f08df7cebb1423149926eacdc.tar.gz pk-dd84f5743dd5527f08df7cebb1423149926eacdc.tar.bz2 |
[pk] proxy kernel support for mixed 32b/64b operation
Diffstat (limited to 'pk/frontend.c')
-rw-r--r-- | pk/frontend.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pk/frontend.c b/pk/frontend.c index c4e799b..f02ed0d 100644 --- a/pk/frontend.c +++ b/pk/frontend.c @@ -2,10 +2,11 @@ #include "atomic.h" #include "frontend.h" #include "pcr.h" +#include <stdint.h> sysret_t frontend_syscall(long n, long a0, long a1, long a2, long a3) { - static volatile long magic_mem[8]; + static volatile uint64_t magic_mem[8]; static spinlock_t lock = SPINLOCK_INIT; spinlock_lock(&lock); |