Searched refs:tzc_id (Results 1 – 1 of 1) sorted by relevance
216 uint32_t tzc_id, tzc_build; in tzc_init() local225 tzc_id = tzc_read_component_id(tzc.base); in tzc_init()226 if (tzc_id != TZC400_COMPONENT_ID) { in tzc_init()227 EMSG("TZC : Wrong device ID (0x%" PRIx32 ")", tzc_id); in tzc_init()