Searched refs:pkeys_supported (Results 1 – 1 of 1) sorted by relevance
1632 int pkeys_supported = is_pkeys_supported(); in main() local1638 printf("has pkeys: %d\n", pkeys_supported); in main()1640 if (!pkeys_supported) { in main()
