Searched defs:reg_pair_from_64 (Results 1 – 5 of 5) sorted by relevance
| /OK3568_Linux_fs/kernel/drivers/tee/optee/ |
| H A D | optee_private.h | 200 static inline void reg_pair_from_64(u32 *reg0, u32 *reg1, u64 val) in reg_pair_from_64() function
|
| /OK3568_Linux_fs/external/security/rk_tee_user/v2/export-ta_arm32/host_include/ |
| H A D | util.h | 159 static inline void reg_pair_from_64(uint64_t val, uint32_t *reg0, in reg_pair_from_64() function
|
| /OK3568_Linux_fs/external/security/rk_tee_user/v2/export-ta_arm64/include/ |
| H A D | util.h | 159 static inline void reg_pair_from_64(uint64_t val, uint32_t *reg0, in reg_pair_from_64() function
|
| /OK3568_Linux_fs/external/security/rk_tee_user/v2/export-ta_arm64/host_include/ |
| H A D | util.h | 159 static inline void reg_pair_from_64(uint64_t val, uint32_t *reg0, in reg_pair_from_64() function
|
| /OK3568_Linux_fs/external/security/rk_tee_user/v2/export-ta_arm32/include/ |
| H A D | util.h | 159 static inline void reg_pair_from_64(uint64_t val, uint32_t *reg0, in reg_pair_from_64() function
|