aboutsummaryrefslogtreecommitdiff
path: root/pk/frontend.c
diff options
context:
space:
mode:
authorYunsup Lee <yunsup@cs.berkeley.edu>2010-10-11 22:42:56 -0700
committerYunsup Lee <yunsup@cs.berkeley.edu>2010-10-11 22:43:32 -0700
commit2b7fd5fa6ac24f3d6d6cb8f0d6c1c32b85c39f02 (patch)
treea4d0c0c5a7b3fe88ff8efcabedca300ab8b2b4b5 /pk/frontend.c
parent3aaacd44769a04e4aff3a3c788183e6a7fa75081 (diff)
downloadpk-2b7fd5fa6ac24f3d6d6cb8f0d6c1c32b85c39f02.zip
pk-2b7fd5fa6ac24f3d6d6cb8f0d6c1c32b85c39f02.tar.gz
pk-2b7fd5fa6ac24f3d6d6cb8f0d6c1c32b85c39f02.tar.bz2
[pk] no amos for now, add a sync before triggering the frontend
Diffstat (limited to 'pk/frontend.c')
-rw-r--r--pk/frontend.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/pk/frontend.c b/pk/frontend.c
index c28dca4..5c0fdc0 100644
--- a/pk/frontend.c
+++ b/pk/frontend.c
@@ -17,6 +17,8 @@ sysret_t frontend_syscall(long n, long a0, long a1, long a2, long a3)
magic_mem[3] = a2;
magic_mem[4] = a3;
+ asm volatile ("sync");
+
mtpcr(magic_mem,PCR_TOHOST);
while(mfpcr(PCR_FROMHOST) == 0);