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