xref: /kvm-unit-tests/arm/selftest.c (revision bd5bd1577dcc298cafaf0e26d318a628e650b2a7)
15e61cba0SAndrew Jones /*
25e61cba0SAndrew Jones  * Test the framework itself. These tests confirm that setup works.
35e61cba0SAndrew Jones  *
45e61cba0SAndrew Jones  * Copyright (C) 2014, Red Hat Inc, Andrew Jones <drjones@redhat.com>
55e61cba0SAndrew Jones  *
65e61cba0SAndrew Jones  * This work is licensed under the terms of the GNU LGPL, version 2.
75e61cba0SAndrew Jones  */
88cca5668SAndrew Jones #include <libcflat.h>
9e7c68b43SAndrew Jones #include <util.h>
100415feeaSAndrew Jones #include <devicetree.h>
11cf251b71SAndrew Jones #include <vmalloc.h>
128cca5668SAndrew Jones #include <asm/setup.h>
138cca5668SAndrew Jones #include <asm/ptrace.h>
148cca5668SAndrew Jones #include <asm/asm-offsets.h>
158cca5668SAndrew Jones #include <asm/processor.h>
161693644dSAndrew Jones #include <asm/thread_info.h>
170415feeaSAndrew Jones #include <asm/psci.h>
180415feeaSAndrew Jones #include <asm/smp.h>
19cf251b71SAndrew Jones #include <asm/mmu.h>
200415feeaSAndrew Jones #include <asm/barrier.h>
215e61cba0SAndrew Jones 
22ebd48a5cSAndre Przywara static cpumask_t ready, valid;
23ebd48a5cSAndre Przywara 
24a99ccaecSAndrew Jones static void __user_psci_system_off(void)
25a99ccaecSAndrew Jones {
26a99ccaecSAndrew Jones 	psci_system_off();
27a99ccaecSAndrew Jones 	halt();
28a99ccaecSAndrew Jones 	__builtin_unreachable();
29a99ccaecSAndrew Jones }
30a99ccaecSAndrew Jones 
315e61cba0SAndrew Jones static void check_setup(int argc, char **argv)
325e61cba0SAndrew Jones {
33e7c68b43SAndrew Jones 	int nr_tests = 0, len, i;
345e61cba0SAndrew Jones 	long val;
355e61cba0SAndrew Jones 
365e61cba0SAndrew Jones 	for (i = 0; i < argc; ++i) {
375e61cba0SAndrew Jones 
38e7c68b43SAndrew Jones 		len = parse_keyval(argv[i], &val);
39e7c68b43SAndrew Jones 		if (len == -1)
405e61cba0SAndrew Jones 			continue;
415e61cba0SAndrew Jones 
42e7c68b43SAndrew Jones 		argv[i][len] = '\0';
43e7c68b43SAndrew Jones 		report_prefix_push(argv[i]);
44a8568128SAndrew Jones 
45e7c68b43SAndrew Jones 		if (strcmp(argv[i], "mem") == 0) {
465e61cba0SAndrew Jones 
475e61cba0SAndrew Jones 			phys_addr_t memsize = PHYS_END - PHYS_OFFSET;
485e61cba0SAndrew Jones 			phys_addr_t expected = ((phys_addr_t)val)*1024*1024;
495e61cba0SAndrew Jones 
50a299895bSThomas Huth 			report(memsize == expected,
51a299895bSThomas Huth 			       "memory size matches expectation");
526c254675SAndre Przywara 			report_info("found %" PRIu64 " MB", memsize/1024/1024);
535e61cba0SAndrew Jones 			++nr_tests;
545e61cba0SAndrew Jones 
55e7c68b43SAndrew Jones 		} else if (strcmp(argv[i], "smp") == 0) {
565e61cba0SAndrew Jones 
57a299895bSThomas Huth 			report(nr_cpus == (int)val,
58a299895bSThomas Huth 			       "number of CPUs matches expectation");
596c254675SAndre Przywara 			report_info("found %d CPUs", nr_cpus);
605e61cba0SAndrew Jones 			++nr_tests;
615e61cba0SAndrew Jones 		}
62a8568128SAndrew Jones 
63a8568128SAndrew Jones 		report_prefix_pop();
645e61cba0SAndrew Jones 	}
655e61cba0SAndrew Jones 
66e7c68b43SAndrew Jones 	if (nr_tests < 2)
67e7c68b43SAndrew Jones 		report_abort("missing input");
685e61cba0SAndrew Jones }
695e61cba0SAndrew Jones 
70cf251b71SAndrew Jones unsigned long check_pabt_invalid_paddr;
71cf251b71SAndrew Jones static bool check_pabt_init(void)
72cf251b71SAndrew Jones {
73cf251b71SAndrew Jones 	phys_addr_t highest_end = 0;
74cf251b71SAndrew Jones 	unsigned long vaddr;
75cf251b71SAndrew Jones 	struct mem_region *r;
76cf251b71SAndrew Jones 
77cf251b71SAndrew Jones 	/*
78cf251b71SAndrew Jones 	 * We need a physical address that isn't backed by anything. Without
79cf251b71SAndrew Jones 	 * fully parsing the device tree there's no way to be certain of any
80cf251b71SAndrew Jones 	 * address, but an unknown address immediately following the highest
81cf251b71SAndrew Jones 	 * memory region has a reasonable chance. This is because we can
82cf251b71SAndrew Jones 	 * assume that that memory region could have been larger, if the user
83cf251b71SAndrew Jones 	 * had configured more RAM, and therefore no MMIO region should be
84cf251b71SAndrew Jones 	 * there.
85cf251b71SAndrew Jones 	 */
86cf251b71SAndrew Jones 	for (r = mem_regions; r->end; ++r) {
87cf251b71SAndrew Jones 		if (r->flags & MR_F_IO)
88cf251b71SAndrew Jones 			continue;
89cf251b71SAndrew Jones 		if (r->end > highest_end)
90cf251b71SAndrew Jones 			highest_end = PAGE_ALIGN(r->end);
91cf251b71SAndrew Jones 	}
92cf251b71SAndrew Jones 
93cf251b71SAndrew Jones 	if (mem_region_get_flags(highest_end) != MR_F_UNKNOWN)
94cf251b71SAndrew Jones 		return false;
95cf251b71SAndrew Jones 
96cf251b71SAndrew Jones 	vaddr = (unsigned long)vmap(highest_end, PAGE_SIZE);
97cf251b71SAndrew Jones 	mmu_clear_user(current_thread_info()->pgtable, vaddr);
98cf251b71SAndrew Jones 	check_pabt_invalid_paddr = vaddr;
99cf251b71SAndrew Jones 
100cf251b71SAndrew Jones 	return true;
101cf251b71SAndrew Jones }
102cf251b71SAndrew Jones 
1032edfe428SAndrew Jones static struct pt_regs expected_regs;
1047ee966e9SAndrew Jones static bool und_works;
1057ee966e9SAndrew Jones static bool svc_works;
106cf251b71SAndrew Jones static bool pabt_works;
1077ee966e9SAndrew Jones #if defined(__arm__)
1082edfe428SAndrew Jones /*
1092edfe428SAndrew Jones  * Capture the current register state and execute an instruction
1102edfe428SAndrew Jones  * that causes an exception. The test handler will check that its
1112edfe428SAndrew Jones  * capture of the current register state matches the capture done
1122edfe428SAndrew Jones  * here.
1132edfe428SAndrew Jones  */
114da54ab51SAndrew Jones #define test_exception(pre_insns, excptn_insn, post_insns, clobbers...)	\
1152edfe428SAndrew Jones 	asm volatile(							\
1162edfe428SAndrew Jones 		pre_insns "\n"						\
1172edfe428SAndrew Jones 		"mov	r0, %0\n"					\
1182edfe428SAndrew Jones 		"stmia	r0, { r0-lr }\n"				\
1192edfe428SAndrew Jones 		"mrs	r1, cpsr\n"					\
1202edfe428SAndrew Jones 		"str	r1, [r0, #" xstr(S_PSR) "]\n"			\
1212edfe428SAndrew Jones 		"mov	r1, #-1\n"					\
1222edfe428SAndrew Jones 		"str	r1, [r0, #" xstr(S_OLD_R0) "]\n"		\
1232edfe428SAndrew Jones 		"add	r1, pc, #8\n"					\
1242edfe428SAndrew Jones 		"str	r1, [r0, #" xstr(S_R1) "]\n"			\
1252edfe428SAndrew Jones 		"str	r1, [r0, #" xstr(S_PC) "]\n"			\
1262edfe428SAndrew Jones 		excptn_insn "\n"					\
1272edfe428SAndrew Jones 		post_insns "\n"						\
128da54ab51SAndrew Jones 	:: "r" (&expected_regs) : "r0", "r1", ##clobbers)
1292edfe428SAndrew Jones 
1302edfe428SAndrew Jones static bool check_regs(struct pt_regs *regs)
1312edfe428SAndrew Jones {
1322edfe428SAndrew Jones 	unsigned i;
1332edfe428SAndrew Jones 
1342edfe428SAndrew Jones 	/* exception handlers should always run in svc mode */
1352edfe428SAndrew Jones 	if (current_mode() != SVC_MODE)
1362edfe428SAndrew Jones 		return false;
1372edfe428SAndrew Jones 
1382edfe428SAndrew Jones 	for (i = 0; i < ARRAY_SIZE(regs->uregs); ++i) {
1392edfe428SAndrew Jones 		if (regs->uregs[i] != expected_regs.uregs[i])
1402edfe428SAndrew Jones 			return false;
1412edfe428SAndrew Jones 	}
1422edfe428SAndrew Jones 
1432edfe428SAndrew Jones 	return true;
1442edfe428SAndrew Jones }
1452edfe428SAndrew Jones 
1462edfe428SAndrew Jones static void und_handler(struct pt_regs *regs)
1472edfe428SAndrew Jones {
1482edfe428SAndrew Jones 	und_works = check_regs(regs);
1492edfe428SAndrew Jones }
1502edfe428SAndrew Jones 
1512edfe428SAndrew Jones static bool check_und(void)
1522edfe428SAndrew Jones {
1532edfe428SAndrew Jones 	install_exception_handler(EXCPTN_UND, und_handler);
1542edfe428SAndrew Jones 
1552edfe428SAndrew Jones 	/* issue an instruction to a coprocessor we don't have */
156da54ab51SAndrew Jones 	test_exception("", "mcr p2, 0, r0, c0, c0", "", "r0");
1572edfe428SAndrew Jones 
1582edfe428SAndrew Jones 	install_exception_handler(EXCPTN_UND, NULL);
1592edfe428SAndrew Jones 
1602edfe428SAndrew Jones 	return und_works;
1612edfe428SAndrew Jones }
1622edfe428SAndrew Jones 
1632edfe428SAndrew Jones static void svc_handler(struct pt_regs *regs)
1642edfe428SAndrew Jones {
1652edfe428SAndrew Jones 	u32 svc = *(u32 *)(regs->ARM_pc - 4) & 0xffffff;
1662edfe428SAndrew Jones 
1672edfe428SAndrew Jones 	if (processor_mode(regs) == SVC_MODE) {
1682edfe428SAndrew Jones 		/*
1692edfe428SAndrew Jones 		 * When issuing an svc from supervisor mode lr_svc will
1702edfe428SAndrew Jones 		 * get corrupted. So before issuing the svc, callers must
1712edfe428SAndrew Jones 		 * always push it on the stack. We pushed it to offset 4.
1722edfe428SAndrew Jones 		 */
1732edfe428SAndrew Jones 		regs->ARM_lr = *(unsigned long *)(regs->ARM_sp + 4);
1742edfe428SAndrew Jones 	}
1752edfe428SAndrew Jones 
1762edfe428SAndrew Jones 	svc_works = check_regs(regs) && svc == 123;
1772edfe428SAndrew Jones }
1782edfe428SAndrew Jones 
1792edfe428SAndrew Jones static bool check_svc(void)
1802edfe428SAndrew Jones {
1812edfe428SAndrew Jones 	install_exception_handler(EXCPTN_SVC, svc_handler);
1822edfe428SAndrew Jones 
1832edfe428SAndrew Jones 	if (current_mode() == SVC_MODE) {
1842edfe428SAndrew Jones 		/*
1852edfe428SAndrew Jones 		 * An svc from supervisor mode will corrupt lr_svc and
1862edfe428SAndrew Jones 		 * spsr_svc. We need to save/restore them separately.
1872edfe428SAndrew Jones 		 */
1882edfe428SAndrew Jones 		test_exception(
1892edfe428SAndrew Jones 			"mrs	r0, spsr\n"
1902edfe428SAndrew Jones 			"push	{ r0,lr }\n",
1912edfe428SAndrew Jones 			"svc	#123\n",
1922edfe428SAndrew Jones 			"pop	{ r0,lr }\n"
193da54ab51SAndrew Jones 			"msr	spsr_cxsf, r0\n",
194da54ab51SAndrew Jones 			"r0", "lr"
1952edfe428SAndrew Jones 		);
1962edfe428SAndrew Jones 	} else {
1972edfe428SAndrew Jones 		test_exception("", "svc #123", "");
1982edfe428SAndrew Jones 	}
1992edfe428SAndrew Jones 
2002edfe428SAndrew Jones 	install_exception_handler(EXCPTN_SVC, NULL);
2012edfe428SAndrew Jones 
2022edfe428SAndrew Jones 	return svc_works;
2032edfe428SAndrew Jones }
204a99ccaecSAndrew Jones 
205cf251b71SAndrew Jones static void pabt_handler(struct pt_regs *regs)
206cf251b71SAndrew Jones {
207cf251b71SAndrew Jones 	expected_regs.ARM_lr = expected_regs.ARM_pc;
208cf251b71SAndrew Jones 	expected_regs.ARM_pc = expected_regs.ARM_r9;
209cf251b71SAndrew Jones 
210cf251b71SAndrew Jones 	pabt_works = check_regs(regs);
211cf251b71SAndrew Jones 
212cf251b71SAndrew Jones 	regs->ARM_pc = regs->ARM_lr;
213cf251b71SAndrew Jones }
214cf251b71SAndrew Jones 
215cf251b71SAndrew Jones static bool check_pabt(void)
216cf251b71SAndrew Jones {
217cf251b71SAndrew Jones 	install_exception_handler(EXCPTN_PABT, pabt_handler);
218cf251b71SAndrew Jones 
219cf251b71SAndrew Jones 	test_exception("ldr	r9, =check_pabt_invalid_paddr\n"
220cf251b71SAndrew Jones 		       "ldr	r9, [r9]\n",
221cf251b71SAndrew Jones 		       "blx	r9\n",
222cf251b71SAndrew Jones 		       "", "r9", "lr");
223cf251b71SAndrew Jones 
224cf251b71SAndrew Jones 	install_exception_handler(EXCPTN_PABT, NULL);
225cf251b71SAndrew Jones 
226cf251b71SAndrew Jones 	return pabt_works;
227cf251b71SAndrew Jones }
228cf251b71SAndrew Jones 
229a99ccaecSAndrew Jones static void user_psci_system_off(struct pt_regs *regs)
230a99ccaecSAndrew Jones {
231a99ccaecSAndrew Jones 	__user_psci_system_off();
232a99ccaecSAndrew Jones }
2337ee966e9SAndrew Jones #elif defined(__aarch64__)
2347ee966e9SAndrew Jones 
2357ee966e9SAndrew Jones /*
2367ee966e9SAndrew Jones  * Capture the current register state and execute an instruction
2377ee966e9SAndrew Jones  * that causes an exception. The test handler will check that its
2387ee966e9SAndrew Jones  * capture of the current register state matches the capture done
2397ee966e9SAndrew Jones  * here.
2407ee966e9SAndrew Jones  */
241da54ab51SAndrew Jones #define test_exception(pre_insns, excptn_insn, post_insns, clobbers...)	\
2427ee966e9SAndrew Jones 	asm volatile(							\
2437ee966e9SAndrew Jones 		pre_insns "\n"						\
2447ee966e9SAndrew Jones 		"mov	x1, %0\n"					\
2457ee966e9SAndrew Jones 		"ldr	x0, [x1, #" xstr(S_PSTATE) "]\n"		\
2467ee966e9SAndrew Jones 		"mrs	x1, nzcv\n"					\
2477ee966e9SAndrew Jones 		"orr	w0, w0, w1\n"					\
2487ee966e9SAndrew Jones 		"mov	x1, %0\n"					\
2497ee966e9SAndrew Jones 		"str	w0, [x1, #" xstr(S_PSTATE) "]\n"		\
2507ee966e9SAndrew Jones 		"mov	x0, sp\n"					\
2517ee966e9SAndrew Jones 		"str	x0, [x1, #" xstr(S_SP) "]\n"			\
2527ee966e9SAndrew Jones 		"adr	x0, 1f\n"					\
2537ee966e9SAndrew Jones 		"str	x0, [x1, #" xstr(S_PC) "]\n"			\
2547ee966e9SAndrew Jones 		"stp	 x2,  x3, [x1,  #16]\n"				\
2557ee966e9SAndrew Jones 		"stp	 x4,  x5, [x1,  #32]\n"				\
2567ee966e9SAndrew Jones 		"stp	 x6,  x7, [x1,  #48]\n"				\
2577ee966e9SAndrew Jones 		"stp	 x8,  x9, [x1,  #64]\n"				\
2587ee966e9SAndrew Jones 		"stp	x10, x11, [x1,  #80]\n"				\
2597ee966e9SAndrew Jones 		"stp	x12, x13, [x1,  #96]\n"				\
2607ee966e9SAndrew Jones 		"stp	x14, x15, [x1, #112]\n"				\
2617ee966e9SAndrew Jones 		"stp	x16, x17, [x1, #128]\n"				\
2627ee966e9SAndrew Jones 		"stp	x18, x19, [x1, #144]\n"				\
2637ee966e9SAndrew Jones 		"stp	x20, x21, [x1, #160]\n"				\
2647ee966e9SAndrew Jones 		"stp	x22, x23, [x1, #176]\n"				\
2657ee966e9SAndrew Jones 		"stp	x24, x25, [x1, #192]\n"				\
2667ee966e9SAndrew Jones 		"stp	x26, x27, [x1, #208]\n"				\
2677ee966e9SAndrew Jones 		"stp	x28, x29, [x1, #224]\n"				\
2687ee966e9SAndrew Jones 		"str	x30, [x1, #" xstr(S_LR) "]\n"			\
2697ee966e9SAndrew Jones 		"stp	 x0,  x1, [x1]\n"				\
2707ee966e9SAndrew Jones 	"1:"	excptn_insn "\n"					\
2717ee966e9SAndrew Jones 		post_insns "\n"						\
272da54ab51SAndrew Jones 	:: "r" (&expected_regs) : "x0", "x1", ##clobbers)
2737ee966e9SAndrew Jones 
2747ee966e9SAndrew Jones static bool check_regs(struct pt_regs *regs)
2757ee966e9SAndrew Jones {
2767ee966e9SAndrew Jones 	unsigned i;
2777ee966e9SAndrew Jones 
2787ee966e9SAndrew Jones 	/* exception handlers should always run in EL1 */
2797ee966e9SAndrew Jones 	if (current_level() != CurrentEL_EL1)
2807ee966e9SAndrew Jones 		return false;
2817ee966e9SAndrew Jones 
2827ee966e9SAndrew Jones 	for (i = 0; i < ARRAY_SIZE(regs->regs); ++i) {
2837ee966e9SAndrew Jones 		if (regs->regs[i] != expected_regs.regs[i])
2847ee966e9SAndrew Jones 			return false;
2857ee966e9SAndrew Jones 	}
2867ee966e9SAndrew Jones 
2877ee966e9SAndrew Jones 	regs->pstate &= 0xf0000000 /* NZCV */ | 0x3c0 /* DAIF */
2887ee966e9SAndrew Jones 			| PSR_MODE_MASK;
2897ee966e9SAndrew Jones 
2907ee966e9SAndrew Jones 	return regs->sp == expected_regs.sp
2917ee966e9SAndrew Jones 		&& regs->pc == expected_regs.pc
2927ee966e9SAndrew Jones 		&& regs->pstate == expected_regs.pstate;
2937ee966e9SAndrew Jones }
2947ee966e9SAndrew Jones 
2957ee966e9SAndrew Jones static enum vector check_vector_prep(void)
2967ee966e9SAndrew Jones {
2977ee966e9SAndrew Jones 	unsigned long daif;
2987ee966e9SAndrew Jones 
299f6d10793SAndrew Jones 	if (is_user())
3007ee966e9SAndrew Jones 		return EL0_SYNC_64;
3017ee966e9SAndrew Jones 
3027ee966e9SAndrew Jones 	asm volatile("mrs %0, daif" : "=r" (daif) ::);
3037ee966e9SAndrew Jones 	expected_regs.pstate = daif | PSR_MODE_EL1h;
3047ee966e9SAndrew Jones 	return EL1H_SYNC;
3057ee966e9SAndrew Jones }
3067ee966e9SAndrew Jones 
3077ee966e9SAndrew Jones static void unknown_handler(struct pt_regs *regs, unsigned int esr __unused)
3087ee966e9SAndrew Jones {
3097ee966e9SAndrew Jones 	und_works = check_regs(regs);
3107ee966e9SAndrew Jones 	regs->pc += 4;
3117ee966e9SAndrew Jones }
3127ee966e9SAndrew Jones 
3137ee966e9SAndrew Jones static bool check_und(void)
3147ee966e9SAndrew Jones {
3157ee966e9SAndrew Jones 	enum vector v = check_vector_prep();
3167ee966e9SAndrew Jones 
3177ee966e9SAndrew Jones 	install_exception_handler(v, ESR_EL1_EC_UNKNOWN, unknown_handler);
3187ee966e9SAndrew Jones 
3197ee966e9SAndrew Jones 	/* try to read an el2 sysreg from el0/1 */
320da54ab51SAndrew Jones 	test_exception("", "mrs x0, sctlr_el2", "", "x0");
3217ee966e9SAndrew Jones 
3227ee966e9SAndrew Jones 	install_exception_handler(v, ESR_EL1_EC_UNKNOWN, NULL);
3237ee966e9SAndrew Jones 
3247ee966e9SAndrew Jones 	return und_works;
3257ee966e9SAndrew Jones }
3267ee966e9SAndrew Jones 
3277ee966e9SAndrew Jones static void svc_handler(struct pt_regs *regs, unsigned int esr)
3287ee966e9SAndrew Jones {
3297ee966e9SAndrew Jones 	u16 svc = esr & 0xffff;
3307ee966e9SAndrew Jones 
3317ee966e9SAndrew Jones 	expected_regs.pc += 4;
3327ee966e9SAndrew Jones 	svc_works = check_regs(regs) && svc == 123;
3337ee966e9SAndrew Jones }
3347ee966e9SAndrew Jones 
3357ee966e9SAndrew Jones static bool check_svc(void)
3367ee966e9SAndrew Jones {
3377ee966e9SAndrew Jones 	enum vector v = check_vector_prep();
3387ee966e9SAndrew Jones 
3397ee966e9SAndrew Jones 	install_exception_handler(v, ESR_EL1_EC_SVC64, svc_handler);
3407ee966e9SAndrew Jones 
3417ee966e9SAndrew Jones 	test_exception("", "svc #123", "");
3427ee966e9SAndrew Jones 
3437ee966e9SAndrew Jones 	install_exception_handler(v, ESR_EL1_EC_SVC64, NULL);
3447ee966e9SAndrew Jones 
3457ee966e9SAndrew Jones 	return svc_works;
3467ee966e9SAndrew Jones }
347a99ccaecSAndrew Jones 
348cf251b71SAndrew Jones static void pabt_handler(struct pt_regs *regs, unsigned int esr)
349cf251b71SAndrew Jones {
350cf251b71SAndrew Jones 	bool is_extabt = (esr & ESR_EL1_FSC_MASK) == ESR_EL1_FSC_EXTABT;
351cf251b71SAndrew Jones 
352cf251b71SAndrew Jones 	expected_regs.regs[30] = expected_regs.pc + 4;
353cf251b71SAndrew Jones 	expected_regs.pc = expected_regs.regs[9];
354cf251b71SAndrew Jones 
355cf251b71SAndrew Jones 	pabt_works = check_regs(regs) && is_extabt;
356cf251b71SAndrew Jones 
357cf251b71SAndrew Jones 	regs->pc = regs->regs[30];
358cf251b71SAndrew Jones }
359cf251b71SAndrew Jones 
360cf251b71SAndrew Jones static bool check_pabt(void)
361cf251b71SAndrew Jones {
362cf251b71SAndrew Jones 	enum vector v = check_vector_prep();
363cf251b71SAndrew Jones 
364cf251b71SAndrew Jones 	install_exception_handler(v, ESR_EL1_EC_IABT_EL1, pabt_handler);
365cf251b71SAndrew Jones 
366cf251b71SAndrew Jones 	test_exception("adrp	x9, check_pabt_invalid_paddr\n"
367cf251b71SAndrew Jones 		       "add	x9, x9, :lo12:check_pabt_invalid_paddr\n"
368cf251b71SAndrew Jones 		       "ldr	x9, [x9]\n",
369cf251b71SAndrew Jones 		       "blr	x9\n",
370cf251b71SAndrew Jones 		       "", "x9", "x30");
371cf251b71SAndrew Jones 
372cf251b71SAndrew Jones 	install_exception_handler(v, ESR_EL1_EC_IABT_EL1, NULL);
373cf251b71SAndrew Jones 
374cf251b71SAndrew Jones 	return pabt_works;
375cf251b71SAndrew Jones }
376cf251b71SAndrew Jones 
377a99ccaecSAndrew Jones static void user_psci_system_off(struct pt_regs *regs, unsigned int esr)
378a99ccaecSAndrew Jones {
379a99ccaecSAndrew Jones 	__user_psci_system_off();
380a99ccaecSAndrew Jones }
3817ee966e9SAndrew Jones #endif
3822edfe428SAndrew Jones 
3832edfe428SAndrew Jones static void check_vectors(void *arg __unused)
3842edfe428SAndrew Jones {
385a299895bSThomas Huth 	report(check_und(), "und");
386a299895bSThomas Huth 	report(check_svc(), "svc");
387a99ccaecSAndrew Jones 	if (is_user()) {
388a99ccaecSAndrew Jones #ifdef __arm__
389a99ccaecSAndrew Jones 		install_exception_handler(EXCPTN_UND, user_psci_system_off);
390a99ccaecSAndrew Jones #else
391a99ccaecSAndrew Jones 		install_exception_handler(EL0_SYNC_64, ESR_EL1_EC_UNKNOWN,
392a99ccaecSAndrew Jones 					  user_psci_system_off);
393a99ccaecSAndrew Jones #endif
394cf251b71SAndrew Jones 	} else {
395cf251b71SAndrew Jones 		if (!check_pabt_init())
396cf251b71SAndrew Jones 			report_skip("Couldn't guess an invalid physical address");
397cf251b71SAndrew Jones 		else
398cf251b71SAndrew Jones 			report(check_pabt(), "pabt");
399a99ccaecSAndrew Jones 	}
4002edfe428SAndrew Jones 	exit(report_summary());
4012edfe428SAndrew Jones }
4022edfe428SAndrew Jones 
403*bd5bd157SAndrew Jones static void psci_print(void)
4040415feeaSAndrew Jones {
405*bd5bd157SAndrew Jones 	int ver = psci_invoke(PSCI_0_2_FN_PSCI_VERSION, 0, 0, 0);
406*bd5bd157SAndrew Jones 	report_info("PSCI version: %d.%d", PSCI_VERSION_MAJOR(ver),
4070415feeaSAndrew Jones 					  PSCI_VERSION_MINOR(ver));
408*bd5bd157SAndrew Jones 	report_info("PSCI method: %s", psci_invoke == psci_invoke_hvc ?
409*bd5bd157SAndrew Jones 				       "hvc" : "smc");
4100415feeaSAndrew Jones }
4110415feeaSAndrew Jones 
41200b34f56SAndrew Jones static void cpu_report(void *data __unused)
4130415feeaSAndrew Jones {
414d9729025SAndrew Jones 	uint64_t mpidr = get_mpidr();
4150415feeaSAndrew Jones 	int cpu = smp_processor_id();
4160415feeaSAndrew Jones 
417ebd48a5cSAndre Przywara 	if (mpidr_to_cpu(mpidr) == cpu)
418ebd48a5cSAndre Przywara 		cpumask_set_cpu(smp_processor_id(), &valid);
419ebd48a5cSAndre Przywara 	smp_wmb();		/* Paired with rmb in main(). */
420ebd48a5cSAndre Przywara 	cpumask_set_cpu(smp_processor_id(), &ready);
421ebd48a5cSAndre Przywara 	report_info("CPU%3d: MPIDR=%010" PRIx64, cpu, mpidr);
4220415feeaSAndrew Jones }
4230415feeaSAndrew Jones 
4245e61cba0SAndrew Jones int main(int argc, char **argv)
4255e61cba0SAndrew Jones {
426a8568128SAndrew Jones 	report_prefix_push("selftest");
427e7c68b43SAndrew Jones 
4286ffea954SAndrew Jones 	if (argc < 2)
429e7c68b43SAndrew Jones 		report_abort("no test specified");
430e7c68b43SAndrew Jones 
4316ffea954SAndrew Jones 	report_prefix_push(argv[1]);
4325e61cba0SAndrew Jones 
4336ffea954SAndrew Jones 	if (strcmp(argv[1], "setup") == 0) {
4342edfe428SAndrew Jones 
4356ffea954SAndrew Jones 		check_setup(argc-2, &argv[2]);
4365e61cba0SAndrew Jones 
4376ffea954SAndrew Jones 	} else if (strcmp(argv[1], "vectors-kernel") == 0) {
4382edfe428SAndrew Jones 
4392edfe428SAndrew Jones 		check_vectors(NULL);
4402edfe428SAndrew Jones 
4416ffea954SAndrew Jones 	} else if (strcmp(argv[1], "vectors-user") == 0) {
4422edfe428SAndrew Jones 
4431693644dSAndrew Jones 		start_usr(check_vectors, NULL,
444632f935cSAndrew Jones 				(unsigned long)thread_stack_alloc());
4450415feeaSAndrew Jones 
4466ffea954SAndrew Jones 	} else if (strcmp(argv[1], "smp") == 0) {
4470415feeaSAndrew Jones 
448*bd5bd157SAndrew Jones 		psci_print();
44900b34f56SAndrew Jones 		on_cpus(cpu_report, NULL);
450ebd48a5cSAndre Przywara 		while (!cpumask_full(&ready))
451ebd48a5cSAndre Przywara 			cpu_relax();
452ebd48a5cSAndre Przywara 		smp_rmb();		/* Paired with wmb in cpu_report(). */
453a299895bSThomas Huth 		report(cpumask_full(&valid), "MPIDR test on all CPUs");
454ebd48a5cSAndre Przywara 		report_info("%d CPUs reported back", nr_cpus);
4550415feeaSAndrew Jones 
456b5a91881SChristopher Covington 	} else {
457b5a91881SChristopher Covington 		printf("Unknown subtest\n");
458b5a91881SChristopher Covington 		abort();
4592edfe428SAndrew Jones 	}
4602edfe428SAndrew Jones 
4615e61cba0SAndrew Jones 	return report_summary();
4625e61cba0SAndrew Jones }
463