Searched refs:temp_32reg (Results 1 – 2 of 2) sorted by relevance
/optee_os/core/drivers/ |
A D | tzc380.c | 334 uint32_t temp_32reg, temp_32reg_h; in tzc_dump_state() local 340 temp_32reg = tzc_read_region_attributes(tzc.base, n); in tzc_dump_state() 341 if (!(temp_32reg & TZC_ATTR_REGION_EN_MASK)) in tzc_dump_state() 346 temp_32reg = tzc_read_region_base_low(tzc.base, n); in tzc_dump_state() 348 DMSG("region_base: 0x%08x%08x", temp_32reg_h, temp_32reg); in tzc_dump_state() 349 temp_32reg = tzc_read_region_attributes(tzc.base, n); in tzc_dump_state() 350 DMSG("region sp: %x", temp_32reg >> TZC_ATTR_SP_SHIFT); in tzc_dump_state() 351 DMSG("region size: %x", (temp_32reg & TZC_REGION_SIZE_MASK) >> in tzc_dump_state()
|
A D | tzc400.c | 465 uint32_t temp_32reg, temp_32reg_h; in tzc_dump_state() local 469 temp_32reg = tzc_read_region_attributes(tzc.base, n); in tzc_dump_state() 470 if (!(temp_32reg & REG_ATTR_F_EN_MASK)) in tzc_dump_state() 474 temp_32reg = tzc_read_region_base_low(tzc.base, n); in tzc_dump_state() 476 DMSG("region_base: 0x%08x%08x", temp_32reg_h, temp_32reg); in tzc_dump_state() 477 temp_32reg = tzc_read_region_top_low(tzc.base, n); in tzc_dump_state() 479 DMSG("region_top: 0x%08x%08x", temp_32reg_h, temp_32reg); in tzc_dump_state() 480 temp_32reg = tzc_read_region_attributes(tzc.base, n); in tzc_dump_state() 482 tzc_attr_msg[temp_32reg >> REG_ATTR_SEC_SHIFT]); in tzc_dump_state() 485 if (temp_32reg & BIT(filter)) in tzc_dump_state()
|
Completed in 4 milliseconds