Index: kernel/generic/include/security/perm.h
===================================================================
--- kernel/generic/include/security/perm.h	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/include/security/perm.h	(revision ac5c37cde62fcac7beb25a3fb1bc581dd675d399)
@@ -75,6 +75,6 @@
 #ifdef __32_BITS__
 
-extern sys_errno_t sys_perm_grant(sysarg64_t *, perm_t);
-extern sys_errno_t sys_perm_revoke(sysarg64_t *, perm_t);
+extern sys_errno_t sys_perm_grant(uspace_ptr_sysarg64_t, perm_t);
+extern sys_errno_t sys_perm_revoke(uspace_ptr_sysarg64_t, perm_t);
 
 #endif  /* __32_BITS__ */