Searched defs:temp_32reg_h (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/drivers/ | ||
| H A D | tzc380.c | 334 uint32_t temp_32reg, temp_32reg_h; in tzc_dump_state() local |
| H A D | tzc400.c | 465 uint32_t temp_32reg, temp_32reg_h; in tzc_dump_state() local |