Message type for SYS_SETGRANT

Change-Id: I542f839d7992d3348fef19c51bfcb58bb408d9f4
2014-05-23 12:53:48 +02:00
parent dd2552d6d4
commit f06c676a47
4 changed files with 15 additions and 10 deletions
--- a/lib/libsys/sys_setgrant.c
+++ b/lib/libsys/sys_setgrant.c
@@ -7,8 +7,8 @@ int sys_setgrant(cp_grant_t *grants, int ngrants)
 {
  message m;

-  m.SG_ADDR = (char *) grants;
-  m.SG_SIZE = ngrants;
+  m.m_lsys_krn_sys_setgrant.addr = (vir_bytes)grants;
+  m.m_lsys_krn_sys_setgrant.size = ngrants;

  return _kernel_call(SYS_SETGRANT, &m);
 }