Searched refs:temp_32reg_h (Results 1 – 2 of 2) sorted by relevance
| /optee_os-3.20.0/core/drivers/ |
| A D | tzc400.c | 465 uint32_t temp_32reg, temp_32reg_h; in tzc_dump_state() local
475 temp_32reg_h = tzc_read_region_base_high(tzc.base, n); in tzc_dump_state()
476 DMSG("region_base: 0x%08x%08x", temp_32reg_h, temp_32reg); in tzc_dump_state()
478 temp_32reg_h = tzc_read_region_top_high(tzc.base, n); in tzc_dump_state()
479 DMSG("region_top: 0x%08x%08x", temp_32reg_h, temp_32reg); in tzc_dump_state()
|
| A D | tzc380.c | 334 uint32_t temp_32reg, temp_32reg_h; in tzc_dump_state() local
347 temp_32reg_h = tzc_read_region_base_high(tzc.base, n); in tzc_dump_state()
348 DMSG("region_base: 0x%08x%08x", temp_32reg_h, temp_32reg); in tzc_dump_state()
|
Completed in 3 milliseconds