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