15 #include <asm/asm-offsets.h>
40 		if (len == -1)  in check_setup()
48 			phys_addr_t memsize = PHYS_END - PHYS_OFFSET;  in check_setup()
80 	 * fully parsing the device tree there's no way to be certain of any  in check_pabt_init()
87 	for (r = mem_regions; r->end; ++r) {  in check_pabt_init()
88 		if (r->flags & MR_F_IO)  in check_pabt_init()
90 		if (r->end > highest_end)  in check_pabt_init()
91 			highest_end = PAGE_ALIGN(r->end);  in check_pabt_init()
98 	mmu_clear_user(current_thread_info()->pgtable, vaddr);  in check_pabt_init()
119 		"stmia	r0, { r0-lr }\n"				\
122 		"mov	r1, #-1\n"					\
135 	/* exception handlers should always run in svc mode */  in check_regs()
139 	for (i = 0; i < ARRAY_SIZE(regs->uregs); ++i) {  in check_regs()
140 		if (regs->uregs[i] != expected_regs.uregs[i])  in check_regs()
166 	u32 svc = *(u32 *)(regs->ARM_pc - 4) & 0xffffff;  in svc_handler()
174 		regs->ARM_lr = *(unsigned long *)(regs->ARM_sp + 4);  in svc_handler()
213 	regs->ARM_pc = regs->ARM_lr;  in pabt_handler()
279 	/* exception handlers should always run in EL1 */  in check_regs()
283 	for (i = 0; i < ARRAY_SIZE(regs->regs); ++i) {  in check_regs()
284 		if (regs->regs[i] != expected_regs.regs[i])  in check_regs()
288 	regs->pstate &= 0xf0000000 /* NZCV */ | 0x3c0 /* DAIF */  in check_regs()
291 	return regs->sp == expected_regs.sp  in check_regs()
292 		&& regs->pc == expected_regs.pc  in check_regs()
293 		&& regs->pstate == expected_regs.pstate;  in check_regs()
311 	regs->pc += 4;  in unknown_handler()
358 	regs->pc = regs->regs[30];  in pabt_handler()
420 	smp_wmb();		/* Paired with rmb in main(). */  in cpu_report()
436 		check_setup(argc-2, &argv[2]);  in main()
438 	} else if (strcmp(argv[1], "vectors-kernel") == 0) {  in main()
442 	} else if (strcmp(argv[1], "vectors-user") == 0) {  in main()
453 		smp_rmb();		/* Paired with wmb in cpu_report(). */  in main()