刚接触optee,对其不是很了解。想问下:在optee_os源码中lib/libutee下实现了许多GP TEE的规范接口。这些API如TEE_WriteObjectData通过调用系统服务函数utee_storage_obj_write转到内核层中的syscall_storage_obj_write来实现的。这中间是怎么跳转的,即utee_storage_obj_write是怎么连接到syscall_storage_obj_write的?以这个API为例帮忙分析下这些API从用户层被调用具体是怎么一步步实现其功能的?