2 * Check decoding of pkey_free syscall.
4 * Copyright (c) 2016 Eugene Syromyatnikov <evgsyr@gmail.com>
7 * SPDX-License-Identifier: GPL-2.0-or-later
11 #include <asm/unistd.h>
22 static const kernel_ulong_t keys[] = {
25 (kernel_ulong_t) 0xbadc0ded00000000ULL,
26 (kernel_ulong_t) 0xffff00001111eeeeULL,
27 (kernel_ulong_t) 0x123456789abcdef0ULL,
33 for (i = 0; i < ARRAY_SIZE(keys); i++) {
34 rc = syscall(__NR_pkey_free, keys[i]);
35 printf("pkey_free(%d) = %s\n", (int) keys[i], sprintrc(rc));
38 puts("+++ exited with 0 +++");
45 SKIP_MAIN_UNDEFINED("__NR_pkey_free");