1 #include "defs.h" 2 3 #include "xlat/pkey_access.h" 4 SYS_FUNC(pkey_alloc)5SYS_FUNC(pkey_alloc) 6 { 7 tprintf("%#" PRI_klx ", ", tcp->u_arg[0]); 8 printflags64(pkey_access, tcp->u_arg[1], "PKEY_???"); 9 10 return RVAL_DECODED; 11 } 12 SYS_FUNC(pkey_free)13SYS_FUNC(pkey_free) 14 { 15 tprintf("%d", (int) tcp->u_arg[0]); 16 17 return RVAL_DECODED; 18 } 19