diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-03-12 23:06:07 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-03-12 23:06:52 -0700 |
| commit | 438823e1308b219aa7daf11cf86e3028e9b8667d (patch) | |
| tree | 8f1a6b40e8d4fa7f421f869f20d7d4ee126b096b /pk/frontend.c | |
| parent | 6517fe26a2a0c89c3112f4a383c601572c71d64a (diff) | |
| download | pk-438823e1308b219aa7daf11cf86e3028e9b8667d.zip pk-438823e1308b219aa7daf11cf86e3028e9b8667d.tar.gz pk-438823e1308b219aa7daf11cf86e3028e9b8667d.tar.bz2 | |
Use hcall instead of mcall for sbi calls
Diffstat (limited to 'pk/frontend.c')
| -rw-r--r-- | pk/frontend.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pk/frontend.c b/pk/frontend.c index 0929d54..e9a23ad 100644 --- a/pk/frontend.c +++ b/pk/frontend.c @@ -4,7 +4,7 @@ #include "atomic.h" #include "frontend.h" #include "sbi.h" -#include "mcall.h" +#include "hcall.h" #include <stdint.h> uint64_t tohost_sync(unsigned dev, unsigned cmd, uint64_t payload) @@ -13,8 +13,8 @@ uint64_t tohost_sync(unsigned dev, unsigned cmd, uint64_t payload) __sync_synchronize(); sbi_device_message m = {dev, cmd, payload}, *p; - do_mcall(MCALL_SEND_DEVICE_REQUEST, &m); - while ((p = (void*)do_mcall(MCALL_RECEIVE_DEVICE_RESPONSE)) == 0); + do_hcall(HCALL_SEND_DEVICE_REQUEST, &m); + while ((p = (void*)do_hcall(HCALL_RECEIVE_DEVICE_RESPONSE)) == 0); kassert(p == &m); __sync_synchronize(); |