aboutsummaryrefslogtreecommitdiff
path: root/pk/frontend.c
diff options
context:
space:
mode:
authorAndrew Waterman <waterman@s141.Millennium.Berkeley.EDU>2010-08-24 02:22:20 -0700
committerAndrew Waterman <waterman@s141.Millennium.Berkeley.EDU>2010-08-24 02:22:20 -0700
commitdd84f5743dd5527f08df7cebb1423149926eacdc (patch)
tree75f46a739d8f10d5864669bde6b7403a15adace3 /pk/frontend.c
parent049091755596801479538bcc4722bc2810471aa0 (diff)
downloadpk-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.c3
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);