38 static TEE_Result check_access(uint32_t flags, void *buf, size_t len)  in check_access()  argument
40 	if (!len)  in check_access()
47 		return TEE_CheckMemoryAccessRights(flags, buf, len);  in check_access()
52 void __utee_check_outbuf_annotation(void *buf, size_t *len)  in __utee_check_outbuf_annotation()  argument
55 		  check_access(ACCESS_RW, len, sizeof(*len)));  in __utee_check_outbuf_annotation()
57 		  check_access(ACCESS_W_ANY, buf, *len));  in __utee_check_outbuf_annotation()
60 void __utee_check_gp11_outbuf_annotation(void *buf, uint32_t *len)  in __utee_check_gp11_outbuf_annotation()  argument
63 		  check_access(ACCESS_RW, len, sizeof(*len)));  in __utee_check_gp11_outbuf_annotation()
65 		  check_access(ACCESS_W_ANY, buf, *len));  in __utee_check_gp11_outbuf_annotation()
74 void __utee_check_outstring_annotation(char *buf, size_t *len)  in __utee_check_outstring_annotation()  argument
77 		  check_access(ACCESS_RW, len, sizeof(*len)));  in __utee_check_outstring_annotation()
79 		  check_access(ACCESS_W_ANY, buf, *len));  in __utee_check_outstring_annotation()
82 void __utee_check_gp11_outstring_annotation(char *buf, uint32_t *len)  in __utee_check_gp11_outstring_annotation()  argument
85 		  check_access(ACCESS_RW, len, sizeof(*len)));  in __utee_check_gp11_outstring_annotation()
87 		  check_access(ACCESS_W_ANY, buf, *len));  in __utee_check_gp11_outstring_annotation()
90 void __utee_check_out_annotation(void *buf, const size_t len)  in __utee_check_out_annotation()  argument
93 		  check_access(ACCESS_W, buf, len));  in __utee_check_out_annotation()
110 void __utee_check_inout_annotation(void *buf, const size_t len)  in __utee_check_inout_annotation()  argument
113 		  check_access(ACCESS_RW, buf, len));  in __utee_check_inout_annotation()