68 	return args->mem[(uintptr_t)args->arg];  in retM()
88 	uint32_t mem[ctx.extwords];  in ATF_TC_BODY()  local
91 	mem[0] = 0;  in ATF_TC_BODY()
92 	mem[3] = 3;  in ATF_TC_BODY()
98 		.mem = mem,  in ATF_TC_BODY()
162 	uint32_t mem[ctx.extwords];  in ATF_TC_BODY()  local
165 	mem[0] = 0;  in ATF_TC_BODY()
166 	mem[3] = 7;  in ATF_TC_BODY()
168 	mem[1] = mem[2] = 0xdeadbeef;  in ATF_TC_BODY()
174 		.mem = mem,  in ATF_TC_BODY()
192 	ATF_CHECK(mem[0] == 0);  in ATF_TC_BODY()
193 	ATF_CHECK(mem[1] == 1);  in ATF_TC_BODY()
194 	ATF_CHECK(mem[2] == 2);  in ATF_TC_BODY()
195 	ATF_CHECK(mem[3] == 3);  in ATF_TC_BODY()
220 	uint32_t mem[ctx.extwords];  in ATF_TC_BODY()  local
223 	mem[0] = 0;  in ATF_TC_BODY()
224 	mem[3] = 7;  in ATF_TC_BODY()
226 	mem[1] = mem[2] = 0xdeadbeef;  in ATF_TC_BODY()
232 		.mem = mem,  in ATF_TC_BODY()
250 	ATF_CHECK(mem[0] == 0);  in ATF_TC_BODY()
251 	ATF_CHECK(mem[1] == 1);  in ATF_TC_BODY()
252 	ATF_CHECK(mem[2] == 2);  in ATF_TC_BODY()
253 	ATF_CHECK(mem[3] == 3);  in ATF_TC_BODY()
301 	uint32_t mem[ctx.extwords];  in ATF_TC_BODY()  local
305 	mem[0] = 0;  in ATF_TC_BODY()
306 	mem[3] = 3;  in ATF_TC_BODY()
313 		.mem = mem,  in ATF_TC_BODY()
352 	uint32_t mem[ctx.extwords];  in ATF_TC_BODY()  local
356 	mem[0] = 0;  in ATF_TC_BODY()
357 	mem[3] = 3;  in ATF_TC_BODY()
364 		.mem = mem,  in ATF_TC_BODY()
404 	uint32_t mem[ctx.extwords];  in ATF_TC_BODY()  local
408 	mem[0] = 0;  in ATF_TC_BODY()
409 	mem[3] = 3;  in ATF_TC_BODY()
416 		.mem = mem,  in ATF_TC_BODY()
456 	uint32_t mem[ctx.extwords];  in ATF_TC_BODY()  local
460 	mem[0] = 0;  in ATF_TC_BODY()
461 	mem[3] = 3;  in ATF_TC_BODY()
468 		.mem = mem,  in ATF_TC_BODY()