| Elliott Hughes | d35df49 | 2017-02-15 15:19:05 -0800 | [diff] [blame] | 1 | #include "defs.h" |
| 2 | |||||
| 3 | #include "xlat/pkey_access.h" | ||||
| 4 | |||||
| 5 | SYS_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 | |||||
| 13 | SYS_FUNC(pkey_free) | ||||
| 14 | { | ||||
| 15 | tprintf("%d", (int) tcp->u_arg[0]); | ||||
| 16 | |||||
| 17 | return RVAL_DECODED; | ||||
| 18 | } | ||||