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