38 static TEE_Result check_access(uint32_t flags, void *buf, size_t len)  in check_access()  argument
43 	if (!buf)  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
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
65 		  check_access(ACCESS_W_ANY, buf, *len));  in __utee_check_gp11_outbuf_annotation()
68 void __utee_check_instring_annotation(const char *buf)  in __utee_check_instring_annotation()  argument
71 		  check_access(ACCESS_R, (char *)buf, strlen(buf) + 1));  in __utee_check_instring_annotation()
74 void __utee_check_outstring_annotation(char *buf, size_t *len)  in __utee_check_outstring_annotation()  argument
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
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()