Searched refs:tzc400_id (Results 1 – 1 of 1) sorted by relevance

/trusted-firmware-a/drivers/arm/tzc/
A D	tzc400.c	190 unsigned int tzc400_id; in tzc400_init() local 198 tzc400_id = _tzc_read_peripheral_id(base); in tzc400_init() 199 if (tzc400_id != TZC_400_PERIPHERAL_ID) { in tzc400_init() 200 ERROR("TZC-400 : Wrong device ID (0x%x).\n", tzc400_id); in tzc400_init()

Completed in 2 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023