39 __description("valid map access into an array with a constant")
46 	*(u64*)(r10 - 8) = r1;				\  in an_array_with_a_constant_1()
48 	r2 += -8;					\  in an_array_with_a_constant_1()
63 __description("valid map access into an array with a register")
70 	*(u64*)(r10 - 8) = r1;				\  in __flag()
72 	r2 += -8;					\  in __flag()
90 __description("valid map access into an array with a variable")
97 	*(u64*)(r10 - 8) = r1;				\  in __flag()
99 	r2 += -8;					\  in __flag()
119 __description("valid map access into an array with a signed variable")
126 	*(u64*)(r10 - 8) = r1;				\  in __flag()
128 	r2 += -8;					\  in __flag()
152 __description("invalid map access into an array with a constant")
153 __failure __msg("invalid access to map value, value_size=48 off=48 size=8")
159 	*(u64*)(r10 - 8) = r1;				\  in an_array_with_a_constant_2()
161 	r2 += -8;					\  in an_array_with_a_constant_2()
177 __description("invalid map access into an array with a register")
185 	*(u64*)(r10 - 8) = r1;				\  in __flag()
187 	r2 += -8;					\  in __flag()
206 __description("invalid map access into an array with a variable")
215 	*(u64*)(r10 - 8) = r1;				\  in __flag()
217 	r2 += -8;					\  in __flag()
243 	*(u64*)(r10 - 8) = r1;				\  in __flag()
245 	r2 += -8;					\  in __flag()
267 __description("invalid map access into an array with a invalid max check")
268 __failure __msg("invalid access to map value, value_size=48 off=44 size=8")
275 	*(u64*)(r10 - 8) = r1;				\  in __flag()
277 	r2 += -8;					\  in __flag()
299 __description("invalid map access into an array with a invalid max check")
307 	*(u64*)(r10 - 8) = r1;				\  in __flag()
309 	r2 += -8;					\  in __flag()
315 	*(u64*)(r10 - 8) = r1;				\  in __flag()
317 	r2 += -8;					\  in __flag()
332 __description("valid read map access into a read-only array 1")
338 	*(u64*)(r10 - 8) = r1;				\  in a_read_only_array_1_1()
340 	r2 += -8;					\  in a_read_only_array_1_1()
353 __description("valid read map access into a read-only array 2")
359 	*(u64*)(r10 - 8) = r1;				\  in a_read_only_array_2_1()
361 	r2 += -8;					\  in a_read_only_array_2_1()
381 __description("invalid write map access into a read-only array 1")
388 	*(u64*)(r10 - 8) = r1;				\  in a_read_only_array_1_2()
390 	r2 += -8;					\  in a_read_only_array_1_2()
404 __description("invalid write map access into a read-only array 2")
411 	*(u64*)(r10 - 8) = r1;				\  in a_read_only_array_2_2()
413 	r2 += -8;					\  in a_read_only_array_2_2()
420 	r4 = 8;						\  in a_read_only_array_2_2()
431 __description("valid write map access into a write-only array 1")
437 	*(u64*)(r10 - 8) = r1;				\  in a_write_only_array_1_1()
439 	r2 += -8;					\  in a_write_only_array_1_1()
454 __description("valid write map access into a write-only array 2")
461 	*(u64*)(r10 - 8) = r1;				\  in a_write_only_array_2_1()
463 	r2 += -8;					\  in a_write_only_array_2_1()
470 	r4 = 8;						\  in a_write_only_array_2_1()
481 __description("invalid read map access into a write-only array 1")
488 	*(u64*)(r10 - 8) = r1;				\  in a_write_only_array_1_2()
490 	r2 += -8;					\  in a_write_only_array_1_2()
503 __description("invalid read map access into a write-only array 2")
509 	*(u64*)(r10 - 8) = r1;				\  in a_write_only_array_2_2()
511 	r2 += -8;					\  in a_write_only_array_2_2()