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> 98cca5668SAndrew Jones #include <alloc.h> 10*0415feeaSAndrew 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> 16*0415feeaSAndrew Jones #include <asm/psci.h> 17*0415feeaSAndrew Jones #include <asm/smp.h> 18*0415feeaSAndrew Jones #include <asm/cpumask.h> 19*0415feeaSAndrew Jones #include <asm/barrier.h> 205e61cba0SAndrew Jones 215e61cba0SAndrew Jones static void assert_args(int num_args, int needed_args) 225e61cba0SAndrew Jones { 235e61cba0SAndrew Jones if (num_args < needed_args) { 24a8568128SAndrew Jones printf("selftest: not enough arguments\n"); 255e61cba0SAndrew Jones abort(); 265e61cba0SAndrew Jones } 275e61cba0SAndrew Jones } 285e61cba0SAndrew Jones 295e61cba0SAndrew Jones static char *split_var(char *s, long *val) 305e61cba0SAndrew Jones { 315e61cba0SAndrew Jones char *p; 325e61cba0SAndrew Jones 335e61cba0SAndrew Jones p = strchr(s, '='); 345e61cba0SAndrew Jones if (!p) 355e61cba0SAndrew Jones return NULL; 365e61cba0SAndrew Jones 375e61cba0SAndrew Jones *val = atol(p+1); 385e61cba0SAndrew Jones *p = '\0'; 395e61cba0SAndrew Jones 405e61cba0SAndrew Jones return s; 415e61cba0SAndrew Jones } 425e61cba0SAndrew Jones 435e61cba0SAndrew Jones static void check_setup(int argc, char **argv) 445e61cba0SAndrew Jones { 455e61cba0SAndrew Jones int nr_tests = 0, i; 465e61cba0SAndrew Jones char *var; 475e61cba0SAndrew Jones long val; 485e61cba0SAndrew Jones 495e61cba0SAndrew Jones for (i = 0; i < argc; ++i) { 505e61cba0SAndrew Jones 515e61cba0SAndrew Jones var = split_var(argv[i], &val); 525e61cba0SAndrew Jones if (!var) 535e61cba0SAndrew Jones continue; 545e61cba0SAndrew Jones 55a8568128SAndrew Jones report_prefix_push(var); 56a8568128SAndrew Jones 575e61cba0SAndrew Jones if (strcmp(var, "mem") == 0) { 585e61cba0SAndrew Jones 595e61cba0SAndrew Jones phys_addr_t memsize = PHYS_END - PHYS_OFFSET; 605e61cba0SAndrew Jones phys_addr_t expected = ((phys_addr_t)val)*1024*1024; 615e61cba0SAndrew Jones 62a8568128SAndrew Jones report("size = %d MB", memsize == expected, 63a8568128SAndrew Jones memsize/1024/1024); 645e61cba0SAndrew Jones ++nr_tests; 655e61cba0SAndrew Jones 665e61cba0SAndrew Jones } else if (strcmp(var, "smp") == 0) { 675e61cba0SAndrew Jones 68a8568128SAndrew Jones report("nr_cpus = %d", nr_cpus == (int)val, nr_cpus); 695e61cba0SAndrew Jones ++nr_tests; 705e61cba0SAndrew Jones } 71a8568128SAndrew Jones 72a8568128SAndrew Jones report_prefix_pop(); 735e61cba0SAndrew Jones } 745e61cba0SAndrew Jones 755e61cba0SAndrew Jones assert_args(nr_tests, 2); 765e61cba0SAndrew Jones } 775e61cba0SAndrew Jones 782edfe428SAndrew Jones static struct pt_regs expected_regs; 797ee966e9SAndrew Jones static bool und_works; 807ee966e9SAndrew Jones static bool svc_works; 817ee966e9SAndrew Jones #if defined(__arm__) 822edfe428SAndrew Jones /* 832edfe428SAndrew Jones * Capture the current register state and execute an instruction 842edfe428SAndrew Jones * that causes an exception. The test handler will check that its 852edfe428SAndrew Jones * capture of the current register state matches the capture done 862edfe428SAndrew Jones * here. 872edfe428SAndrew Jones * 882edfe428SAndrew Jones * NOTE: update clobber list if passed insns needs more than r0,r1 892edfe428SAndrew Jones */ 902edfe428SAndrew Jones #define test_exception(pre_insns, excptn_insn, post_insns) \ 912edfe428SAndrew Jones asm volatile( \ 922edfe428SAndrew Jones pre_insns "\n" \ 932edfe428SAndrew Jones "mov r0, %0\n" \ 942edfe428SAndrew Jones "stmia r0, { r0-lr }\n" \ 952edfe428SAndrew Jones "mrs r1, cpsr\n" \ 962edfe428SAndrew Jones "str r1, [r0, #" xstr(S_PSR) "]\n" \ 972edfe428SAndrew Jones "mov r1, #-1\n" \ 982edfe428SAndrew Jones "str r1, [r0, #" xstr(S_OLD_R0) "]\n" \ 992edfe428SAndrew Jones "add r1, pc, #8\n" \ 1002edfe428SAndrew Jones "str r1, [r0, #" xstr(S_R1) "]\n" \ 1012edfe428SAndrew Jones "str r1, [r0, #" xstr(S_PC) "]\n" \ 1022edfe428SAndrew Jones excptn_insn "\n" \ 1032edfe428SAndrew Jones post_insns "\n" \ 1042edfe428SAndrew Jones :: "r" (&expected_regs) : "r0", "r1") 1052edfe428SAndrew Jones 1062edfe428SAndrew Jones static bool check_regs(struct pt_regs *regs) 1072edfe428SAndrew Jones { 1082edfe428SAndrew Jones unsigned i; 1092edfe428SAndrew Jones 1102edfe428SAndrew Jones /* exception handlers should always run in svc mode */ 1112edfe428SAndrew Jones if (current_mode() != SVC_MODE) 1122edfe428SAndrew Jones return false; 1132edfe428SAndrew Jones 1142edfe428SAndrew Jones for (i = 0; i < ARRAY_SIZE(regs->uregs); ++i) { 1152edfe428SAndrew Jones if (regs->uregs[i] != expected_regs.uregs[i]) 1162edfe428SAndrew Jones return false; 1172edfe428SAndrew Jones } 1182edfe428SAndrew Jones 1192edfe428SAndrew Jones return true; 1202edfe428SAndrew Jones } 1212edfe428SAndrew Jones 1222edfe428SAndrew Jones static void und_handler(struct pt_regs *regs) 1232edfe428SAndrew Jones { 1242edfe428SAndrew Jones und_works = check_regs(regs); 1252edfe428SAndrew Jones } 1262edfe428SAndrew Jones 1272edfe428SAndrew Jones static bool check_und(void) 1282edfe428SAndrew Jones { 1292edfe428SAndrew Jones install_exception_handler(EXCPTN_UND, und_handler); 1302edfe428SAndrew Jones 1312edfe428SAndrew Jones /* issue an instruction to a coprocessor we don't have */ 1322edfe428SAndrew Jones test_exception("", "mcr p2, 0, r0, c0, c0", ""); 1332edfe428SAndrew Jones 1342edfe428SAndrew Jones install_exception_handler(EXCPTN_UND, NULL); 1352edfe428SAndrew Jones 1362edfe428SAndrew Jones return und_works; 1372edfe428SAndrew Jones } 1382edfe428SAndrew Jones 1392edfe428SAndrew Jones static void svc_handler(struct pt_regs *regs) 1402edfe428SAndrew Jones { 1412edfe428SAndrew Jones u32 svc = *(u32 *)(regs->ARM_pc - 4) & 0xffffff; 1422edfe428SAndrew Jones 1432edfe428SAndrew Jones if (processor_mode(regs) == SVC_MODE) { 1442edfe428SAndrew Jones /* 1452edfe428SAndrew Jones * When issuing an svc from supervisor mode lr_svc will 1462edfe428SAndrew Jones * get corrupted. So before issuing the svc, callers must 1472edfe428SAndrew Jones * always push it on the stack. We pushed it to offset 4. 1482edfe428SAndrew Jones */ 1492edfe428SAndrew Jones regs->ARM_lr = *(unsigned long *)(regs->ARM_sp + 4); 1502edfe428SAndrew Jones } 1512edfe428SAndrew Jones 1522edfe428SAndrew Jones svc_works = check_regs(regs) && svc == 123; 1532edfe428SAndrew Jones } 1542edfe428SAndrew Jones 1552edfe428SAndrew Jones static bool check_svc(void) 1562edfe428SAndrew Jones { 1572edfe428SAndrew Jones install_exception_handler(EXCPTN_SVC, svc_handler); 1582edfe428SAndrew Jones 1592edfe428SAndrew Jones if (current_mode() == SVC_MODE) { 1602edfe428SAndrew Jones /* 1612edfe428SAndrew Jones * An svc from supervisor mode will corrupt lr_svc and 1622edfe428SAndrew Jones * spsr_svc. We need to save/restore them separately. 1632edfe428SAndrew Jones */ 1642edfe428SAndrew Jones test_exception( 1652edfe428SAndrew Jones "mrs r0, spsr\n" 1662edfe428SAndrew Jones "push { r0,lr }\n", 1672edfe428SAndrew Jones "svc #123\n", 1682edfe428SAndrew Jones "pop { r0,lr }\n" 1692edfe428SAndrew Jones "msr spsr_cxsf, r0\n" 1702edfe428SAndrew Jones ); 1712edfe428SAndrew Jones } else { 1722edfe428SAndrew Jones test_exception("", "svc #123", ""); 1732edfe428SAndrew Jones } 1742edfe428SAndrew Jones 1752edfe428SAndrew Jones install_exception_handler(EXCPTN_SVC, NULL); 1762edfe428SAndrew Jones 1772edfe428SAndrew Jones return svc_works; 1782edfe428SAndrew Jones } 1797ee966e9SAndrew Jones #elif defined(__aarch64__) 1807ee966e9SAndrew Jones #include <asm/esr.h> 1817ee966e9SAndrew Jones 1827ee966e9SAndrew Jones /* 1837ee966e9SAndrew Jones * Capture the current register state and execute an instruction 1847ee966e9SAndrew Jones * that causes an exception. The test handler will check that its 1857ee966e9SAndrew Jones * capture of the current register state matches the capture done 1867ee966e9SAndrew Jones * here. 1877ee966e9SAndrew Jones * 1887ee966e9SAndrew Jones * NOTE: update clobber list if passed insns needs more than x0,x1 1897ee966e9SAndrew Jones */ 1907ee966e9SAndrew Jones #define test_exception(pre_insns, excptn_insn, post_insns) \ 1917ee966e9SAndrew Jones asm volatile( \ 1927ee966e9SAndrew Jones pre_insns "\n" \ 1937ee966e9SAndrew Jones "mov x1, %0\n" \ 1947ee966e9SAndrew Jones "ldr x0, [x1, #" xstr(S_PSTATE) "]\n" \ 1957ee966e9SAndrew Jones "mrs x1, nzcv\n" \ 1967ee966e9SAndrew Jones "orr w0, w0, w1\n" \ 1977ee966e9SAndrew Jones "mov x1, %0\n" \ 1987ee966e9SAndrew Jones "str w0, [x1, #" xstr(S_PSTATE) "]\n" \ 1997ee966e9SAndrew Jones "mov x0, sp\n" \ 2007ee966e9SAndrew Jones "str x0, [x1, #" xstr(S_SP) "]\n" \ 2017ee966e9SAndrew Jones "adr x0, 1f\n" \ 2027ee966e9SAndrew Jones "str x0, [x1, #" xstr(S_PC) "]\n" \ 2037ee966e9SAndrew Jones "stp x2, x3, [x1, #16]\n" \ 2047ee966e9SAndrew Jones "stp x4, x5, [x1, #32]\n" \ 2057ee966e9SAndrew Jones "stp x6, x7, [x1, #48]\n" \ 2067ee966e9SAndrew Jones "stp x8, x9, [x1, #64]\n" \ 2077ee966e9SAndrew Jones "stp x10, x11, [x1, #80]\n" \ 2087ee966e9SAndrew Jones "stp x12, x13, [x1, #96]\n" \ 2097ee966e9SAndrew Jones "stp x14, x15, [x1, #112]\n" \ 2107ee966e9SAndrew Jones "stp x16, x17, [x1, #128]\n" \ 2117ee966e9SAndrew Jones "stp x18, x19, [x1, #144]\n" \ 2127ee966e9SAndrew Jones "stp x20, x21, [x1, #160]\n" \ 2137ee966e9SAndrew Jones "stp x22, x23, [x1, #176]\n" \ 2147ee966e9SAndrew Jones "stp x24, x25, [x1, #192]\n" \ 2157ee966e9SAndrew Jones "stp x26, x27, [x1, #208]\n" \ 2167ee966e9SAndrew Jones "stp x28, x29, [x1, #224]\n" \ 2177ee966e9SAndrew Jones "str x30, [x1, #" xstr(S_LR) "]\n" \ 2187ee966e9SAndrew Jones "stp x0, x1, [x1]\n" \ 2197ee966e9SAndrew Jones "1:" excptn_insn "\n" \ 2207ee966e9SAndrew Jones post_insns "\n" \ 2217ee966e9SAndrew Jones :: "r" (&expected_regs) : "x0", "x1") 2227ee966e9SAndrew Jones 2237ee966e9SAndrew Jones static bool check_regs(struct pt_regs *regs) 2247ee966e9SAndrew Jones { 2257ee966e9SAndrew Jones unsigned i; 2267ee966e9SAndrew Jones 2277ee966e9SAndrew Jones /* exception handlers should always run in EL1 */ 2287ee966e9SAndrew Jones if (current_level() != CurrentEL_EL1) 2297ee966e9SAndrew Jones return false; 2307ee966e9SAndrew Jones 2317ee966e9SAndrew Jones for (i = 0; i < ARRAY_SIZE(regs->regs); ++i) { 2327ee966e9SAndrew Jones if (regs->regs[i] != expected_regs.regs[i]) 2337ee966e9SAndrew Jones return false; 2347ee966e9SAndrew Jones } 2357ee966e9SAndrew Jones 2367ee966e9SAndrew Jones regs->pstate &= 0xf0000000 /* NZCV */ | 0x3c0 /* DAIF */ 2377ee966e9SAndrew Jones | PSR_MODE_MASK; 2387ee966e9SAndrew Jones 2397ee966e9SAndrew Jones return regs->sp == expected_regs.sp 2407ee966e9SAndrew Jones && regs->pc == expected_regs.pc 2417ee966e9SAndrew Jones && regs->pstate == expected_regs.pstate; 2427ee966e9SAndrew Jones } 2437ee966e9SAndrew Jones 2447ee966e9SAndrew Jones static enum vector check_vector_prep(void) 2457ee966e9SAndrew Jones { 2467ee966e9SAndrew Jones unsigned long daif; 2477ee966e9SAndrew Jones 248f6d10793SAndrew Jones if (is_user()) 2497ee966e9SAndrew Jones return EL0_SYNC_64; 2507ee966e9SAndrew Jones 2517ee966e9SAndrew Jones asm volatile("mrs %0, daif" : "=r" (daif) ::); 2527ee966e9SAndrew Jones expected_regs.pstate = daif | PSR_MODE_EL1h; 2537ee966e9SAndrew Jones return EL1H_SYNC; 2547ee966e9SAndrew Jones } 2557ee966e9SAndrew Jones 2567ee966e9SAndrew Jones static void unknown_handler(struct pt_regs *regs, unsigned int esr __unused) 2577ee966e9SAndrew Jones { 2587ee966e9SAndrew Jones und_works = check_regs(regs); 2597ee966e9SAndrew Jones regs->pc += 4; 2607ee966e9SAndrew Jones } 2617ee966e9SAndrew Jones 2627ee966e9SAndrew Jones static bool check_und(void) 2637ee966e9SAndrew Jones { 2647ee966e9SAndrew Jones enum vector v = check_vector_prep(); 2657ee966e9SAndrew Jones 2667ee966e9SAndrew Jones install_exception_handler(v, ESR_EL1_EC_UNKNOWN, unknown_handler); 2677ee966e9SAndrew Jones 2687ee966e9SAndrew Jones /* try to read an el2 sysreg from el0/1 */ 2697ee966e9SAndrew Jones test_exception("", "mrs x0, sctlr_el2", ""); 2707ee966e9SAndrew Jones 2717ee966e9SAndrew Jones install_exception_handler(v, ESR_EL1_EC_UNKNOWN, NULL); 2727ee966e9SAndrew Jones 2737ee966e9SAndrew Jones return und_works; 2747ee966e9SAndrew Jones } 2757ee966e9SAndrew Jones 2767ee966e9SAndrew Jones static void svc_handler(struct pt_regs *regs, unsigned int esr) 2777ee966e9SAndrew Jones { 2787ee966e9SAndrew Jones u16 svc = esr & 0xffff; 2797ee966e9SAndrew Jones 2807ee966e9SAndrew Jones expected_regs.pc += 4; 2817ee966e9SAndrew Jones svc_works = check_regs(regs) && svc == 123; 2827ee966e9SAndrew Jones } 2837ee966e9SAndrew Jones 2847ee966e9SAndrew Jones static bool check_svc(void) 2857ee966e9SAndrew Jones { 2867ee966e9SAndrew Jones enum vector v = check_vector_prep(); 2877ee966e9SAndrew Jones 2887ee966e9SAndrew Jones install_exception_handler(v, ESR_EL1_EC_SVC64, svc_handler); 2897ee966e9SAndrew Jones 2907ee966e9SAndrew Jones test_exception("", "svc #123", ""); 2917ee966e9SAndrew Jones 2927ee966e9SAndrew Jones install_exception_handler(v, ESR_EL1_EC_SVC64, NULL); 2937ee966e9SAndrew Jones 2947ee966e9SAndrew Jones return svc_works; 2957ee966e9SAndrew Jones } 2967ee966e9SAndrew Jones #endif 2972edfe428SAndrew Jones 2982edfe428SAndrew Jones static void check_vectors(void *arg __unused) 2992edfe428SAndrew Jones { 300a8568128SAndrew Jones report("und", check_und()); 301a8568128SAndrew Jones report("svc", check_svc()); 3022edfe428SAndrew Jones exit(report_summary()); 3032edfe428SAndrew Jones } 3042edfe428SAndrew Jones 305*0415feeaSAndrew Jones static bool psci_check(void) 306*0415feeaSAndrew Jones { 307*0415feeaSAndrew Jones const struct fdt_property *method; 308*0415feeaSAndrew Jones int node, len, ver; 309*0415feeaSAndrew Jones 310*0415feeaSAndrew Jones node = fdt_node_offset_by_compatible(dt_fdt(), -1, "arm,psci-0.2"); 311*0415feeaSAndrew Jones if (node < 0) { 312*0415feeaSAndrew Jones printf("PSCI v0.2 compatibility required\n"); 313*0415feeaSAndrew Jones return false; 314*0415feeaSAndrew Jones } 315*0415feeaSAndrew Jones 316*0415feeaSAndrew Jones method = fdt_get_property(dt_fdt(), node, "method", &len); 317*0415feeaSAndrew Jones if (method == NULL) { 318*0415feeaSAndrew Jones printf("bad psci device tree node\n"); 319*0415feeaSAndrew Jones return false; 320*0415feeaSAndrew Jones } 321*0415feeaSAndrew Jones 322*0415feeaSAndrew Jones if (len < 4 || strcmp(method->data, "hvc") != 0) { 323*0415feeaSAndrew Jones printf("psci method must be hvc\n"); 324*0415feeaSAndrew Jones return false; 325*0415feeaSAndrew Jones } 326*0415feeaSAndrew Jones 327*0415feeaSAndrew Jones ver = psci_invoke(PSCI_0_2_FN_PSCI_VERSION, 0, 0, 0); 328*0415feeaSAndrew Jones printf("PSCI version %d.%d\n", PSCI_VERSION_MAJOR(ver), 329*0415feeaSAndrew Jones PSCI_VERSION_MINOR(ver)); 330*0415feeaSAndrew Jones 331*0415feeaSAndrew Jones return true; 332*0415feeaSAndrew Jones } 333*0415feeaSAndrew Jones 334*0415feeaSAndrew Jones static cpumask_t smp_reported; 335*0415feeaSAndrew Jones static void cpu_report(void) 336*0415feeaSAndrew Jones { 337*0415feeaSAndrew Jones int cpu = smp_processor_id(); 338*0415feeaSAndrew Jones 339*0415feeaSAndrew Jones report("CPU%d online", true, cpu); 340*0415feeaSAndrew Jones cpumask_set_cpu(cpu, &smp_reported); 341*0415feeaSAndrew Jones halt(); 342*0415feeaSAndrew Jones } 343*0415feeaSAndrew Jones 3445e61cba0SAndrew Jones int main(int argc, char **argv) 3455e61cba0SAndrew Jones { 346a8568128SAndrew Jones report_prefix_push("selftest"); 3475e61cba0SAndrew Jones assert_args(argc, 1); 348a8568128SAndrew Jones report_prefix_push(argv[0]); 3495e61cba0SAndrew Jones 3502edfe428SAndrew Jones if (strcmp(argv[0], "setup") == 0) { 3512edfe428SAndrew Jones 3525e61cba0SAndrew Jones check_setup(argc-1, &argv[1]); 3535e61cba0SAndrew Jones 354f052fea1SAndrew Jones } else if (strcmp(argv[0], "vectors-kernel") == 0) { 3552edfe428SAndrew Jones 3562edfe428SAndrew Jones check_vectors(NULL); 3572edfe428SAndrew Jones 358f052fea1SAndrew Jones } else if (strcmp(argv[0], "vectors-user") == 0) { 3592edfe428SAndrew Jones 3601693644dSAndrew Jones void *sp = memalign(THREAD_SIZE, THREAD_SIZE); 3611693644dSAndrew Jones start_usr(check_vectors, NULL, 3621693644dSAndrew Jones (unsigned long)sp + THREAD_START_SP); 363*0415feeaSAndrew Jones 364*0415feeaSAndrew Jones } else if (strcmp(argv[0], "smp") == 0) { 365*0415feeaSAndrew Jones 366*0415feeaSAndrew Jones int cpu; 367*0415feeaSAndrew Jones 368*0415feeaSAndrew Jones report("PSCI version", psci_check()); 369*0415feeaSAndrew Jones 370*0415feeaSAndrew Jones for_each_present_cpu(cpu) { 371*0415feeaSAndrew Jones if (cpu == 0) 372*0415feeaSAndrew Jones continue; 373*0415feeaSAndrew Jones smp_boot_secondary(cpu, cpu_report); 374*0415feeaSAndrew Jones } 375*0415feeaSAndrew Jones 376*0415feeaSAndrew Jones cpumask_set_cpu(0, &smp_reported); 377*0415feeaSAndrew Jones while (!cpumask_full(&smp_reported)) 378*0415feeaSAndrew Jones cpu_relax(); 3792edfe428SAndrew Jones } 3802edfe428SAndrew Jones 3815e61cba0SAndrew Jones return report_summary(); 3825e61cba0SAndrew Jones } 383