1*fa6318d1SPaolo Bonzini #include "libcflat.h" 2*fa6318d1SPaolo Bonzini #include "lib/x86/desc.h" 3*fa6318d1SPaolo Bonzini #include "lib/x86/processor.h" 4*fa6318d1SPaolo Bonzini #include "lib/x86/vm.h" 5*fa6318d1SPaolo Bonzini 6*fa6318d1SPaolo Bonzini #define X86_FEATURE_SMAP 20 7*fa6318d1SPaolo Bonzini #define X86_EFLAGS_AC (1 << 18) 8*fa6318d1SPaolo Bonzini 9*fa6318d1SPaolo Bonzini volatile int pf_count = 0; 10*fa6318d1SPaolo Bonzini volatile int save; 11*fa6318d1SPaolo Bonzini volatile unsigned test; 12*fa6318d1SPaolo Bonzini 13*fa6318d1SPaolo Bonzini 14*fa6318d1SPaolo Bonzini // When doing ring 3 tests, page fault handlers will always run on a 15*fa6318d1SPaolo Bonzini // separate stack (the ring 0 stack). Seems easier to use the alt_stack 16*fa6318d1SPaolo Bonzini // mechanism for both ring 0 and ring 3. 17*fa6318d1SPaolo Bonzini 18*fa6318d1SPaolo Bonzini void do_pf_tss(unsigned long error_code) 19*fa6318d1SPaolo Bonzini { 20*fa6318d1SPaolo Bonzini pf_count++; 21*fa6318d1SPaolo Bonzini save = test; 22*fa6318d1SPaolo Bonzini 23*fa6318d1SPaolo Bonzini #ifndef __x86_64__ 24*fa6318d1SPaolo Bonzini tss.eflags |= X86_EFLAGS_AC; 25*fa6318d1SPaolo Bonzini #endif 26*fa6318d1SPaolo Bonzini } 27*fa6318d1SPaolo Bonzini 28*fa6318d1SPaolo Bonzini extern void pf_tss(void); 29*fa6318d1SPaolo Bonzini asm ("pf_tss:\n" 30*fa6318d1SPaolo Bonzini #ifdef __x86_64__ 31*fa6318d1SPaolo Bonzini // no task on x86_64, save/restore caller-save regs 32*fa6318d1SPaolo Bonzini "push %rax; push %rcx; push %rdx; push %rsi; push %rdi\n" 33*fa6318d1SPaolo Bonzini "push %r8; push %r9; push %r10; push %r11\n" 34*fa6318d1SPaolo Bonzini "mov 9*8(%rsp),%rsi\n" 35*fa6318d1SPaolo Bonzini #endif 36*fa6318d1SPaolo Bonzini "call do_pf_tss\n" 37*fa6318d1SPaolo Bonzini #ifdef __x86_64__ 38*fa6318d1SPaolo Bonzini "pop %r11; pop %r10; pop %r9; pop %r8\n" 39*fa6318d1SPaolo Bonzini "pop %rdi; pop %rsi; pop %rdx; pop %rcx; pop %rax\n" 40*fa6318d1SPaolo Bonzini #endif 41*fa6318d1SPaolo Bonzini "add $"S", %"R "sp\n" 42*fa6318d1SPaolo Bonzini #ifdef __x86_64__ 43*fa6318d1SPaolo Bonzini "orl $" xstr(X86_EFLAGS_AC) ", 2*"S"(%"R "sp)\n" // set EFLAGS.AC and retry 44*fa6318d1SPaolo Bonzini #endif 45*fa6318d1SPaolo Bonzini "iret"W" \n\t" 46*fa6318d1SPaolo Bonzini "jmp pf_tss\n\t"); 47*fa6318d1SPaolo Bonzini 48*fa6318d1SPaolo Bonzini 49*fa6318d1SPaolo Bonzini #define USER_BASE (1 << 24) 50*fa6318d1SPaolo Bonzini #define USER_VAR(v) (*((__typeof__(&(v))) (((unsigned long)&v) + USER_BASE))) 51*fa6318d1SPaolo Bonzini 52*fa6318d1SPaolo Bonzini static void init_test(int i) 53*fa6318d1SPaolo Bonzini { 54*fa6318d1SPaolo Bonzini pf_count = 0; 55*fa6318d1SPaolo Bonzini if (i) { 56*fa6318d1SPaolo Bonzini invlpg(&test); 57*fa6318d1SPaolo Bonzini invlpg(&USER_VAR(test)); 58*fa6318d1SPaolo Bonzini } 59*fa6318d1SPaolo Bonzini } 60*fa6318d1SPaolo Bonzini 61*fa6318d1SPaolo Bonzini int main(int ac, char **av) 62*fa6318d1SPaolo Bonzini { 63*fa6318d1SPaolo Bonzini unsigned long i; 64*fa6318d1SPaolo Bonzini 65*fa6318d1SPaolo Bonzini if (!(cpuid_indexed(7, 0).b & (1 << X86_FEATURE_SMAP))) { 66*fa6318d1SPaolo Bonzini printf("SMAP not enabled, exiting\n"); 67*fa6318d1SPaolo Bonzini exit(1); 68*fa6318d1SPaolo Bonzini } 69*fa6318d1SPaolo Bonzini 70*fa6318d1SPaolo Bonzini setup_vm(); 71*fa6318d1SPaolo Bonzini setup_alt_stack(); 72*fa6318d1SPaolo Bonzini set_intr_alt_stack(14, pf_tss); 73*fa6318d1SPaolo Bonzini 74*fa6318d1SPaolo Bonzini // Map first 16MB as supervisor pages 75*fa6318d1SPaolo Bonzini for (i = 0; i < USER_BASE; i += PAGE_SIZE) { 76*fa6318d1SPaolo Bonzini *get_pte(phys_to_virt(read_cr3()), phys_to_virt(i)) &= ~PTE_USER; 77*fa6318d1SPaolo Bonzini invlpg((void *)i); 78*fa6318d1SPaolo Bonzini } 79*fa6318d1SPaolo Bonzini 80*fa6318d1SPaolo Bonzini // Present the same 16MB as user pages in the 16MB-32MB range 81*fa6318d1SPaolo Bonzini for (i = USER_BASE; i < 2 * USER_BASE; i += PAGE_SIZE) { 82*fa6318d1SPaolo Bonzini *get_pte(phys_to_virt(read_cr3()), phys_to_virt(i)) &= ~USER_BASE; 83*fa6318d1SPaolo Bonzini invlpg((void *)i); 84*fa6318d1SPaolo Bonzini } 85*fa6318d1SPaolo Bonzini 86*fa6318d1SPaolo Bonzini clac(); 87*fa6318d1SPaolo Bonzini write_cr4(read_cr4() | X86_CR4_SMAP); 88*fa6318d1SPaolo Bonzini write_cr3(read_cr3()); 89*fa6318d1SPaolo Bonzini 90*fa6318d1SPaolo Bonzini for (i = 0; i < 2; i++) { 91*fa6318d1SPaolo Bonzini if (i) 92*fa6318d1SPaolo Bonzini printf("testing with INVLPG\n"); 93*fa6318d1SPaolo Bonzini else 94*fa6318d1SPaolo Bonzini printf("testing without INVLPG\n"); 95*fa6318d1SPaolo Bonzini 96*fa6318d1SPaolo Bonzini init_test(i); 97*fa6318d1SPaolo Bonzini clac(); 98*fa6318d1SPaolo Bonzini test = 42; 99*fa6318d1SPaolo Bonzini report("write to supervisor page", pf_count == 0 && test == 42); 100*fa6318d1SPaolo Bonzini 101*fa6318d1SPaolo Bonzini init_test(i); 102*fa6318d1SPaolo Bonzini stac(); 103*fa6318d1SPaolo Bonzini (void)USER_VAR(test); 104*fa6318d1SPaolo Bonzini report("read from user page with AC=1", pf_count == 0); 105*fa6318d1SPaolo Bonzini 106*fa6318d1SPaolo Bonzini init_test(i); 107*fa6318d1SPaolo Bonzini clac(); 108*fa6318d1SPaolo Bonzini (void)USER_VAR(test); 109*fa6318d1SPaolo Bonzini report("read from user page with AC=0", pf_count == 1 && save == 42); 110*fa6318d1SPaolo Bonzini 111*fa6318d1SPaolo Bonzini init_test(i); 112*fa6318d1SPaolo Bonzini stac(); 113*fa6318d1SPaolo Bonzini save = 0; 114*fa6318d1SPaolo Bonzini USER_VAR(test) = 43; 115*fa6318d1SPaolo Bonzini report("write to user page with AC=1", pf_count == 0 && test == 43); 116*fa6318d1SPaolo Bonzini 117*fa6318d1SPaolo Bonzini init_test(i); 118*fa6318d1SPaolo Bonzini clac(); 119*fa6318d1SPaolo Bonzini USER_VAR(test) = 44; 120*fa6318d1SPaolo Bonzini report("read from user page with AC=0", pf_count == 1 && test == 44 && save == 43); 121*fa6318d1SPaolo Bonzini 122*fa6318d1SPaolo Bonzini init_test(i); 123*fa6318d1SPaolo Bonzini stac(); 124*fa6318d1SPaolo Bonzini test = -1; 125*fa6318d1SPaolo Bonzini asm("or $(" xstr(USER_BASE) "), %"R "sp \n" 126*fa6318d1SPaolo Bonzini "push $44 \n " 127*fa6318d1SPaolo Bonzini "decl test\n" 128*fa6318d1SPaolo Bonzini "and $~(" xstr(USER_BASE) "), %"R "sp \n" 129*fa6318d1SPaolo Bonzini "pop %"R "ax\n" 130*fa6318d1SPaolo Bonzini "movl %eax, test"); 131*fa6318d1SPaolo Bonzini report("write to user stack with AC=1", pf_count == 0 && test == 44); 132*fa6318d1SPaolo Bonzini 133*fa6318d1SPaolo Bonzini init_test(i); 134*fa6318d1SPaolo Bonzini clac(); 135*fa6318d1SPaolo Bonzini test = -1; 136*fa6318d1SPaolo Bonzini asm("or $(" xstr(USER_BASE) "), %"R "sp \n" 137*fa6318d1SPaolo Bonzini "push $45 \n " 138*fa6318d1SPaolo Bonzini "decl test\n" 139*fa6318d1SPaolo Bonzini "and $~(" xstr(USER_BASE) "), %"R "sp \n" 140*fa6318d1SPaolo Bonzini "pop %"R "ax\n" 141*fa6318d1SPaolo Bonzini "movl %eax, test"); 142*fa6318d1SPaolo Bonzini report("write to user stack with AC=0", pf_count == 1 && test == 45 && save == -1); 143*fa6318d1SPaolo Bonzini 144*fa6318d1SPaolo Bonzini /* This would be trapped by SMEP */ 145*fa6318d1SPaolo Bonzini init_test(i); 146*fa6318d1SPaolo Bonzini clac(); 147*fa6318d1SPaolo Bonzini asm("jmp 1f + "xstr(USER_BASE)" \n" 148*fa6318d1SPaolo Bonzini "1: jmp 2f - "xstr(USER_BASE)" \n" 149*fa6318d1SPaolo Bonzini "2:"); 150*fa6318d1SPaolo Bonzini report("executing on user page with AC=0", pf_count == 0); 151*fa6318d1SPaolo Bonzini } 152*fa6318d1SPaolo Bonzini 153*fa6318d1SPaolo Bonzini // TODO: implicit kernel access from ring 3 (e.g. int) 154*fa6318d1SPaolo Bonzini 155*fa6318d1SPaolo Bonzini return report_summary(); 156*fa6318d1SPaolo Bonzini } 157