12 volatile int pf_count = 0;
29     printf("#PF handler, error code: 0x%lx\n", error_code);  in do_pf_tss()
32     wrmsr(MSR_IA32_PKRS, 0);  in do_pf_tss()
56     pf_count = 0;  in init_test()
60     wrmsr(MSR_IA32_PKRS, 0);  in init_test()
61     set_cr0_wp(0);  in init_test()
67     unsigned int pkey = 0x2;  in main()
68     unsigned int pkrs_ad = 0x10;  in main()
69     unsigned int pkrs_wd = 0x20;  in main()
83     for (i = 0; i < SUPER_BASE; i += PAGE_SIZE) {  in main()
103     report(pf_count == 1 && test == 21 && save == 0,  in main()
107     set_cr0_wp(0);  in main()
111            "write to supervisor page when pkrs is ad and wp == 0");  in main()
121     set_cr0_wp(0);  in main()
124     report(pf_count == 0 && test == 24,  in main()
125            "write to supervisor page when pkrs is wd and wp == 0");  in main()
128     set_cr0_wp(0);  in main()
131     report(pf_count == 0 && test == 25,  in main()
132            "write to user page when pkrs is wd and wp == 0");  in main()
138     report(pf_count == 0 && test == 26,  in main()
144     report(pf_count == 0, "read from user page when pkrs is ad");  in main()