Searched refs:thread_get_user_kdata (Results 1 – 4 of 4) sorted by relevance
| /optee_os/core/arch/riscv/include/kernel/ |
| H A D | thread_arch.h | 212 static inline void thread_get_user_kdata(struct mobj **mobj, size_t *offset, in thread_get_user_kdata() function
|
| /optee_os/core/arch/arm/include/kernel/ |
| H A D | thread_arch.h | 477 void thread_get_user_kdata(struct mobj **mobj, size_t *offset,
480 static inline void thread_get_user_kdata(struct mobj **mobj, size_t *offset, in thread_get_user_kdata() function
|
| /optee_os/core/arch/arm/kernel/ |
| H A D | thread.c | 1052 void thread_get_user_kdata(struct mobj **mobj, size_t *offset, in thread_get_user_kdata() function
|
| /optee_os/core/mm/ |
| H A D | vm.c | 870 thread_get_user_kdata(&mobj, &offs, &va, &sz); in map_kinit()
|