Searched refs:tzc400_id (Results 1 – 1 of 1) sorted by relevance
122 unsigned int tzc400_id; in tzc400_init() local130 tzc400_id = _tzc_read_peripheral_id(base); in tzc400_init()131 if (tzc400_id != TZC_400_PERIPHERAL_ID) { in tzc400_init()132 ERROR("TZC-400 : Wrong device ID (0x%x).\n", tzc400_id); in tzc400_init()