xref: /kvm-unit-tests/arm/selftest.c (revision 2ce7a6c75a338e672efe14ee968742184e19759c)
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>
118cca5668SAndrew Jones #include <asm/setup.h>
128cca5668SAndrew Jones #include <asm/ptrace.h>
138cca5668SAndrew Jones #include <asm/asm-offsets.h>
148cca5668SAndrew Jones #include <asm/processor.h>
151693644dSAndrew Jones #include <asm/thread_info.h>
160415feeaSAndrew Jones #include <asm/psci.h>
170415feeaSAndrew Jones #include <asm/smp.h>
180415feeaSAndrew Jones #include <asm/cpumask.h>
190415feeaSAndrew Jones #include <asm/barrier.h>
205e61cba0SAndrew Jones 
215e61cba0SAndrew Jones static void check_setup(int argc, char **argv)
225e61cba0SAndrew Jones {
23e7c68b43SAndrew Jones 	int nr_tests = 0, len, i;
245e61cba0SAndrew Jones 	long val;
255e61cba0SAndrew Jones 
265e61cba0SAndrew Jones 	for (i = 0; i < argc; ++i) {
275e61cba0SAndrew Jones 
28e7c68b43SAndrew Jones 		len = parse_keyval(argv[i], &val);
29e7c68b43SAndrew Jones 		if (len == -1)
305e61cba0SAndrew Jones 			continue;
315e61cba0SAndrew Jones 
32e7c68b43SAndrew Jones 		argv[i][len] = '\0';
33e7c68b43SAndrew Jones 		report_prefix_push(argv[i]);
34a8568128SAndrew Jones 
35e7c68b43SAndrew Jones 		if (strcmp(argv[i], "mem") == 0) {
365e61cba0SAndrew Jones 
375e61cba0SAndrew Jones 			phys_addr_t memsize = PHYS_END - PHYS_OFFSET;
385e61cba0SAndrew Jones 			phys_addr_t expected = ((phys_addr_t)val)*1024*1024;
395e61cba0SAndrew Jones 
40*2ce7a6c7SRadim Krčmář 			report("size = %" PRIu64 " MB", memsize == expected,
41a8568128SAndrew Jones 							memsize/1024/1024);
425e61cba0SAndrew Jones 			++nr_tests;
435e61cba0SAndrew Jones 
44e7c68b43SAndrew Jones 		} else if (strcmp(argv[i], "smp") == 0) {
455e61cba0SAndrew Jones 
46a8568128SAndrew Jones 			report("nr_cpus = %d", nr_cpus == (int)val, nr_cpus);
475e61cba0SAndrew Jones 			++nr_tests;
485e61cba0SAndrew Jones 		}
49a8568128SAndrew Jones 
50a8568128SAndrew Jones 		report_prefix_pop();
515e61cba0SAndrew Jones 	}
525e61cba0SAndrew Jones 
53e7c68b43SAndrew Jones 	if (nr_tests < 2)
54e7c68b43SAndrew Jones 		report_abort("missing input");
555e61cba0SAndrew Jones }
565e61cba0SAndrew Jones 
572edfe428SAndrew Jones static struct pt_regs expected_regs;
587ee966e9SAndrew Jones static bool und_works;
597ee966e9SAndrew Jones static bool svc_works;
607ee966e9SAndrew Jones #if defined(__arm__)
612edfe428SAndrew Jones /*
622edfe428SAndrew Jones  * Capture the current register state and execute an instruction
632edfe428SAndrew Jones  * that causes an exception. The test handler will check that its
642edfe428SAndrew Jones  * capture of the current register state matches the capture done
652edfe428SAndrew Jones  * here.
662edfe428SAndrew Jones  *
672edfe428SAndrew Jones  * NOTE: update clobber list if passed insns needs more than r0,r1
682edfe428SAndrew Jones  */
692edfe428SAndrew Jones #define test_exception(pre_insns, excptn_insn, post_insns)	\
702edfe428SAndrew Jones 	asm volatile(						\
712edfe428SAndrew Jones 		pre_insns "\n"					\
722edfe428SAndrew Jones 		"mov	r0, %0\n"				\
732edfe428SAndrew Jones 		"stmia	r0, { r0-lr }\n"			\
742edfe428SAndrew Jones 		"mrs	r1, cpsr\n"				\
752edfe428SAndrew Jones 		"str	r1, [r0, #" xstr(S_PSR) "]\n"		\
762edfe428SAndrew Jones 		"mov	r1, #-1\n"				\
772edfe428SAndrew Jones 		"str	r1, [r0, #" xstr(S_OLD_R0) "]\n"	\
782edfe428SAndrew Jones 		"add	r1, pc, #8\n"				\
792edfe428SAndrew Jones 		"str	r1, [r0, #" xstr(S_R1) "]\n"		\
802edfe428SAndrew Jones 		"str	r1, [r0, #" xstr(S_PC) "]\n"		\
812edfe428SAndrew Jones 		excptn_insn "\n"				\
822edfe428SAndrew Jones 		post_insns "\n"					\
832edfe428SAndrew Jones 	:: "r" (&expected_regs) : "r0", "r1")
842edfe428SAndrew Jones 
852edfe428SAndrew Jones static bool check_regs(struct pt_regs *regs)
862edfe428SAndrew Jones {
872edfe428SAndrew Jones 	unsigned i;
882edfe428SAndrew Jones 
892edfe428SAndrew Jones 	/* exception handlers should always run in svc mode */
902edfe428SAndrew Jones 	if (current_mode() != SVC_MODE)
912edfe428SAndrew Jones 		return false;
922edfe428SAndrew Jones 
932edfe428SAndrew Jones 	for (i = 0; i < ARRAY_SIZE(regs->uregs); ++i) {
942edfe428SAndrew Jones 		if (regs->uregs[i] != expected_regs.uregs[i])
952edfe428SAndrew Jones 			return false;
962edfe428SAndrew Jones 	}
972edfe428SAndrew Jones 
982edfe428SAndrew Jones 	return true;
992edfe428SAndrew Jones }
1002edfe428SAndrew Jones 
1012edfe428SAndrew Jones static void und_handler(struct pt_regs *regs)
1022edfe428SAndrew Jones {
1032edfe428SAndrew Jones 	und_works = check_regs(regs);
1042edfe428SAndrew Jones }
1052edfe428SAndrew Jones 
1062edfe428SAndrew Jones static bool check_und(void)
1072edfe428SAndrew Jones {
1082edfe428SAndrew Jones 	install_exception_handler(EXCPTN_UND, und_handler);
1092edfe428SAndrew Jones 
1102edfe428SAndrew Jones 	/* issue an instruction to a coprocessor we don't have */
1112edfe428SAndrew Jones 	test_exception("", "mcr p2, 0, r0, c0, c0", "");
1122edfe428SAndrew Jones 
1132edfe428SAndrew Jones 	install_exception_handler(EXCPTN_UND, NULL);
1142edfe428SAndrew Jones 
1152edfe428SAndrew Jones 	return und_works;
1162edfe428SAndrew Jones }
1172edfe428SAndrew Jones 
1182edfe428SAndrew Jones static void svc_handler(struct pt_regs *regs)
1192edfe428SAndrew Jones {
1202edfe428SAndrew Jones 	u32 svc = *(u32 *)(regs->ARM_pc - 4) & 0xffffff;
1212edfe428SAndrew Jones 
1222edfe428SAndrew Jones 	if (processor_mode(regs) == SVC_MODE) {
1232edfe428SAndrew Jones 		/*
1242edfe428SAndrew Jones 		 * When issuing an svc from supervisor mode lr_svc will
1252edfe428SAndrew Jones 		 * get corrupted. So before issuing the svc, callers must
1262edfe428SAndrew Jones 		 * always push it on the stack. We pushed it to offset 4.
1272edfe428SAndrew Jones 		 */
1282edfe428SAndrew Jones 		regs->ARM_lr = *(unsigned long *)(regs->ARM_sp + 4);
1292edfe428SAndrew Jones 	}
1302edfe428SAndrew Jones 
1312edfe428SAndrew Jones 	svc_works = check_regs(regs) && svc == 123;
1322edfe428SAndrew Jones }
1332edfe428SAndrew Jones 
1342edfe428SAndrew Jones static bool check_svc(void)
1352edfe428SAndrew Jones {
1362edfe428SAndrew Jones 	install_exception_handler(EXCPTN_SVC, svc_handler);
1372edfe428SAndrew Jones 
1382edfe428SAndrew Jones 	if (current_mode() == SVC_MODE) {
1392edfe428SAndrew Jones 		/*
1402edfe428SAndrew Jones 		 * An svc from supervisor mode will corrupt lr_svc and
1412edfe428SAndrew Jones 		 * spsr_svc. We need to save/restore them separately.
1422edfe428SAndrew Jones 		 */
1432edfe428SAndrew Jones 		test_exception(
1442edfe428SAndrew Jones 			"mrs	r0, spsr\n"
1452edfe428SAndrew Jones 			"push	{ r0,lr }\n",
1462edfe428SAndrew Jones 			"svc	#123\n",
1472edfe428SAndrew Jones 			"pop	{ r0,lr }\n"
1482edfe428SAndrew Jones 			"msr	spsr_cxsf, r0\n"
1492edfe428SAndrew Jones 		);
1502edfe428SAndrew Jones 	} else {
1512edfe428SAndrew Jones 		test_exception("", "svc #123", "");
1522edfe428SAndrew Jones 	}
1532edfe428SAndrew Jones 
1542edfe428SAndrew Jones 	install_exception_handler(EXCPTN_SVC, NULL);
1552edfe428SAndrew Jones 
1562edfe428SAndrew Jones 	return svc_works;
1572edfe428SAndrew Jones }
1587ee966e9SAndrew Jones #elif defined(__aarch64__)
1597ee966e9SAndrew Jones 
1607ee966e9SAndrew Jones /*
1617ee966e9SAndrew Jones  * Capture the current register state and execute an instruction
1627ee966e9SAndrew Jones  * that causes an exception. The test handler will check that its
1637ee966e9SAndrew Jones  * capture of the current register state matches the capture done
1647ee966e9SAndrew Jones  * here.
1657ee966e9SAndrew Jones  *
1667ee966e9SAndrew Jones  * NOTE: update clobber list if passed insns needs more than x0,x1
1677ee966e9SAndrew Jones  */
1687ee966e9SAndrew Jones #define test_exception(pre_insns, excptn_insn, post_insns)	\
1697ee966e9SAndrew Jones 	asm volatile(						\
1707ee966e9SAndrew Jones 		pre_insns "\n"					\
1717ee966e9SAndrew Jones 		"mov	x1, %0\n"				\
1727ee966e9SAndrew Jones 		"ldr	x0, [x1, #" xstr(S_PSTATE) "]\n"	\
1737ee966e9SAndrew Jones 		"mrs	x1, nzcv\n"				\
1747ee966e9SAndrew Jones 		"orr	w0, w0, w1\n"				\
1757ee966e9SAndrew Jones 		"mov	x1, %0\n"				\
1767ee966e9SAndrew Jones 		"str	w0, [x1, #" xstr(S_PSTATE) "]\n"	\
1777ee966e9SAndrew Jones 		"mov	x0, sp\n"				\
1787ee966e9SAndrew Jones 		"str	x0, [x1, #" xstr(S_SP) "]\n"		\
1797ee966e9SAndrew Jones 		"adr	x0, 1f\n"				\
1807ee966e9SAndrew Jones 		"str	x0, [x1, #" xstr(S_PC) "]\n"		\
1817ee966e9SAndrew Jones 		"stp	 x2,  x3, [x1,  #16]\n"			\
1827ee966e9SAndrew Jones 		"stp	 x4,  x5, [x1,  #32]\n"			\
1837ee966e9SAndrew Jones 		"stp	 x6,  x7, [x1,  #48]\n"			\
1847ee966e9SAndrew Jones 		"stp	 x8,  x9, [x1,  #64]\n"			\
1857ee966e9SAndrew Jones 		"stp	x10, x11, [x1,  #80]\n"			\
1867ee966e9SAndrew Jones 		"stp	x12, x13, [x1,  #96]\n"			\
1877ee966e9SAndrew Jones 		"stp	x14, x15, [x1, #112]\n"			\
1887ee966e9SAndrew Jones 		"stp	x16, x17, [x1, #128]\n"			\
1897ee966e9SAndrew Jones 		"stp	x18, x19, [x1, #144]\n"			\
1907ee966e9SAndrew Jones 		"stp	x20, x21, [x1, #160]\n"			\
1917ee966e9SAndrew Jones 		"stp	x22, x23, [x1, #176]\n"			\
1927ee966e9SAndrew Jones 		"stp	x24, x25, [x1, #192]\n"			\
1937ee966e9SAndrew Jones 		"stp	x26, x27, [x1, #208]\n"			\
1947ee966e9SAndrew Jones 		"stp	x28, x29, [x1, #224]\n"			\
1957ee966e9SAndrew Jones 		"str	x30, [x1, #" xstr(S_LR) "]\n"		\
1967ee966e9SAndrew Jones 		"stp	 x0,  x1, [x1]\n"			\
1977ee966e9SAndrew Jones 	"1:"	excptn_insn "\n"				\
1987ee966e9SAndrew Jones 		post_insns "\n"					\
1997ee966e9SAndrew Jones 	:: "r" (&expected_regs) : "x0", "x1")
2007ee966e9SAndrew Jones 
2017ee966e9SAndrew Jones static bool check_regs(struct pt_regs *regs)
2027ee966e9SAndrew Jones {
2037ee966e9SAndrew Jones 	unsigned i;
2047ee966e9SAndrew Jones 
2057ee966e9SAndrew Jones 	/* exception handlers should always run in EL1 */
2067ee966e9SAndrew Jones 	if (current_level() != CurrentEL_EL1)
2077ee966e9SAndrew Jones 		return false;
2087ee966e9SAndrew Jones 
2097ee966e9SAndrew Jones 	for (i = 0; i < ARRAY_SIZE(regs->regs); ++i) {
2107ee966e9SAndrew Jones 		if (regs->regs[i] != expected_regs.regs[i])
2117ee966e9SAndrew Jones 			return false;
2127ee966e9SAndrew Jones 	}
2137ee966e9SAndrew Jones 
2147ee966e9SAndrew Jones 	regs->pstate &= 0xf0000000 /* NZCV */ | 0x3c0 /* DAIF */
2157ee966e9SAndrew Jones 			| PSR_MODE_MASK;
2167ee966e9SAndrew Jones 
2177ee966e9SAndrew Jones 	return regs->sp == expected_regs.sp
2187ee966e9SAndrew Jones 		&& regs->pc == expected_regs.pc
2197ee966e9SAndrew Jones 		&& regs->pstate == expected_regs.pstate;
2207ee966e9SAndrew Jones }
2217ee966e9SAndrew Jones 
2227ee966e9SAndrew Jones static enum vector check_vector_prep(void)
2237ee966e9SAndrew Jones {
2247ee966e9SAndrew Jones 	unsigned long daif;
2257ee966e9SAndrew Jones 
226f6d10793SAndrew Jones 	if (is_user())
2277ee966e9SAndrew Jones 		return EL0_SYNC_64;
2287ee966e9SAndrew Jones 
2297ee966e9SAndrew Jones 	asm volatile("mrs %0, daif" : "=r" (daif) ::);
2307ee966e9SAndrew Jones 	expected_regs.pstate = daif | PSR_MODE_EL1h;
2317ee966e9SAndrew Jones 	return EL1H_SYNC;
2327ee966e9SAndrew Jones }
2337ee966e9SAndrew Jones 
2347ee966e9SAndrew Jones static void unknown_handler(struct pt_regs *regs, unsigned int esr __unused)
2357ee966e9SAndrew Jones {
2367ee966e9SAndrew Jones 	und_works = check_regs(regs);
2377ee966e9SAndrew Jones 	regs->pc += 4;
2387ee966e9SAndrew Jones }
2397ee966e9SAndrew Jones 
2407ee966e9SAndrew Jones static bool check_und(void)
2417ee966e9SAndrew Jones {
2427ee966e9SAndrew Jones 	enum vector v = check_vector_prep();
2437ee966e9SAndrew Jones 
2447ee966e9SAndrew Jones 	install_exception_handler(v, ESR_EL1_EC_UNKNOWN, unknown_handler);
2457ee966e9SAndrew Jones 
2467ee966e9SAndrew Jones 	/* try to read an el2 sysreg from el0/1 */
2477ee966e9SAndrew Jones 	test_exception("", "mrs x0, sctlr_el2", "");
2487ee966e9SAndrew Jones 
2497ee966e9SAndrew Jones 	install_exception_handler(v, ESR_EL1_EC_UNKNOWN, NULL);
2507ee966e9SAndrew Jones 
2517ee966e9SAndrew Jones 	return und_works;
2527ee966e9SAndrew Jones }
2537ee966e9SAndrew Jones 
2547ee966e9SAndrew Jones static void svc_handler(struct pt_regs *regs, unsigned int esr)
2557ee966e9SAndrew Jones {
2567ee966e9SAndrew Jones 	u16 svc = esr & 0xffff;
2577ee966e9SAndrew Jones 
2587ee966e9SAndrew Jones 	expected_regs.pc += 4;
2597ee966e9SAndrew Jones 	svc_works = check_regs(regs) && svc == 123;
2607ee966e9SAndrew Jones }
2617ee966e9SAndrew Jones 
2627ee966e9SAndrew Jones static bool check_svc(void)
2637ee966e9SAndrew Jones {
2647ee966e9SAndrew Jones 	enum vector v = check_vector_prep();
2657ee966e9SAndrew Jones 
2667ee966e9SAndrew Jones 	install_exception_handler(v, ESR_EL1_EC_SVC64, svc_handler);
2677ee966e9SAndrew Jones 
2687ee966e9SAndrew Jones 	test_exception("", "svc #123", "");
2697ee966e9SAndrew Jones 
2707ee966e9SAndrew Jones 	install_exception_handler(v, ESR_EL1_EC_SVC64, NULL);
2717ee966e9SAndrew Jones 
2727ee966e9SAndrew Jones 	return svc_works;
2737ee966e9SAndrew Jones }
2747ee966e9SAndrew Jones #endif
2752edfe428SAndrew Jones 
2762edfe428SAndrew Jones static void check_vectors(void *arg __unused)
2772edfe428SAndrew Jones {
278a8568128SAndrew Jones 	report("und", check_und());
279a8568128SAndrew Jones 	report("svc", check_svc());
2802edfe428SAndrew Jones 	exit(report_summary());
2812edfe428SAndrew Jones }
2822edfe428SAndrew Jones 
2830415feeaSAndrew Jones static bool psci_check(void)
2840415feeaSAndrew Jones {
2850415feeaSAndrew Jones 	const struct fdt_property *method;
2860415feeaSAndrew Jones 	int node, len, ver;
2870415feeaSAndrew Jones 
2880415feeaSAndrew Jones 	node = fdt_node_offset_by_compatible(dt_fdt(), -1, "arm,psci-0.2");
2890415feeaSAndrew Jones 	if (node < 0) {
2900415feeaSAndrew Jones 		printf("PSCI v0.2 compatibility required\n");
2910415feeaSAndrew Jones 		return false;
2920415feeaSAndrew Jones 	}
2930415feeaSAndrew Jones 
2940415feeaSAndrew Jones 	method = fdt_get_property(dt_fdt(), node, "method", &len);
2950415feeaSAndrew Jones 	if (method == NULL) {
2960415feeaSAndrew Jones 		printf("bad psci device tree node\n");
2970415feeaSAndrew Jones 		return false;
2980415feeaSAndrew Jones 	}
2990415feeaSAndrew Jones 
3000415feeaSAndrew Jones 	if (len < 4 || strcmp(method->data, "hvc") != 0) {
3010415feeaSAndrew Jones 		printf("psci method must be hvc\n");
3020415feeaSAndrew Jones 		return false;
3030415feeaSAndrew Jones 	}
3040415feeaSAndrew Jones 
3050415feeaSAndrew Jones 	ver = psci_invoke(PSCI_0_2_FN_PSCI_VERSION, 0, 0, 0);
3060415feeaSAndrew Jones 	printf("PSCI version %d.%d\n", PSCI_VERSION_MAJOR(ver),
3070415feeaSAndrew Jones 				       PSCI_VERSION_MINOR(ver));
3080415feeaSAndrew Jones 
3090415feeaSAndrew Jones 	return true;
3100415feeaSAndrew Jones }
3110415feeaSAndrew Jones 
3120415feeaSAndrew Jones static cpumask_t smp_reported;
3130415feeaSAndrew Jones static void cpu_report(void)
3140415feeaSAndrew Jones {
315d9729025SAndrew Jones 	uint64_t mpidr = get_mpidr();
3160415feeaSAndrew Jones 	int cpu = smp_processor_id();
3170415feeaSAndrew Jones 
318d9729025SAndrew Jones 	report("CPU(%3d) mpidr=%010" PRIx64,
319d9729025SAndrew Jones 		mpidr_to_cpu(mpidr) == cpu, cpu, mpidr);
3200415feeaSAndrew Jones 	cpumask_set_cpu(cpu, &smp_reported);
3210415feeaSAndrew Jones 	halt();
3220415feeaSAndrew Jones }
3230415feeaSAndrew Jones 
3245e61cba0SAndrew Jones int main(int argc, char **argv)
3255e61cba0SAndrew Jones {
326a8568128SAndrew Jones 	report_prefix_push("selftest");
327e7c68b43SAndrew Jones 
3286ffea954SAndrew Jones 	if (argc < 2)
329e7c68b43SAndrew Jones 		report_abort("no test specified");
330e7c68b43SAndrew Jones 
3316ffea954SAndrew Jones 	report_prefix_push(argv[1]);
3325e61cba0SAndrew Jones 
3336ffea954SAndrew Jones 	if (strcmp(argv[1], "setup") == 0) {
3342edfe428SAndrew Jones 
3356ffea954SAndrew Jones 		check_setup(argc-2, &argv[2]);
3365e61cba0SAndrew Jones 
3376ffea954SAndrew Jones 	} else if (strcmp(argv[1], "vectors-kernel") == 0) {
3382edfe428SAndrew Jones 
3392edfe428SAndrew Jones 		check_vectors(NULL);
3402edfe428SAndrew Jones 
3416ffea954SAndrew Jones 	} else if (strcmp(argv[1], "vectors-user") == 0) {
3422edfe428SAndrew Jones 
3431693644dSAndrew Jones 		start_usr(check_vectors, NULL,
344632f935cSAndrew Jones 				(unsigned long)thread_stack_alloc());
3450415feeaSAndrew Jones 
3466ffea954SAndrew Jones 	} else if (strcmp(argv[1], "smp") == 0) {
3470415feeaSAndrew Jones 
348d9729025SAndrew Jones 		uint64_t mpidr = get_mpidr();
3490415feeaSAndrew Jones 		int cpu;
3500415feeaSAndrew Jones 
3510415feeaSAndrew Jones 		report("PSCI version", psci_check());
3520415feeaSAndrew Jones 
3530415feeaSAndrew Jones 		for_each_present_cpu(cpu) {
3540415feeaSAndrew Jones 			if (cpu == 0)
3550415feeaSAndrew Jones 				continue;
3560415feeaSAndrew Jones 			smp_boot_secondary(cpu, cpu_report);
3570415feeaSAndrew Jones 		}
3580415feeaSAndrew Jones 
359d9729025SAndrew Jones 		report("CPU(%3d) mpidr=%010" PRIx64,
360d9729025SAndrew Jones 			mpidr_to_cpu(mpidr) == 0, 0, mpidr);
3610415feeaSAndrew Jones 		cpumask_set_cpu(0, &smp_reported);
3620415feeaSAndrew Jones 		while (!cpumask_full(&smp_reported))
3630415feeaSAndrew Jones 			cpu_relax();
364b5a91881SChristopher Covington 	} else {
365b5a91881SChristopher Covington 		printf("Unknown subtest\n");
366b5a91881SChristopher Covington 		abort();
3672edfe428SAndrew Jones 	}
3682edfe428SAndrew Jones 
3695e61cba0SAndrew Jones 	return report_summary();
3705e61cba0SAndrew Jones }
371