12 volatile int pf_count = 0;
31     write_pkru(0);  in do_pf_tss()
55     pf_count = 0;  in init_test()
59     write_pkru(0);  in init_test()
60     set_cr0_wp(0);  in init_test()
66     unsigned int pkey = 0x2;  in main()
67     unsigned int pkru_ad = 0x10;  in main()
68     unsigned int pkru_wd = 0x20;  in main()
81     for (i = 0; i < USER_BASE; i += PAGE_SIZE) {  in main()
100     report(pf_count == 0 && test == 21,  in main()
104     set_cr0_wp(0);  in main()
107     report(pf_count == 0 && test == 22,  in main()
108            "write to supervisor page when pkru is ad and wp == 0");  in main()
114     report(pf_count == 0 && test == 23,  in main()
118     set_cr0_wp(0);  in main()
121     report(pf_count == 0 && test == 24,  in main()
122            "write to supervisor page when pkru is wd and wp == 0");  in main()
126     set_cr0_wp(0);  in main()
128     report(pf_count == 0 && test == 25,  in main()
129            "write to user page when pkru is wd and wp == 0");  in main()