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