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