Searched refs:dmc_id (Results 1 – 2 of 2) sorted by relevance
34 unsigned int dmc_inst, dmc_count, dmc_id; in tzc_dmc620_validate_plat_driver_data() local44 dmc_id = mmio_read_32(base + DMC620_PERIPHERAL_ID_0); in tzc_dmc620_validate_plat_driver_data()45 assert(dmc_id == DMC620_PERIPHERAL_ID_0_VALUE); in tzc_dmc620_validate_plat_driver_data()
241 unsigned int dmc_id; in validate_plat_driver_data() local252 dmc_id = _tzc_read_peripheral_id(dmc_base); in validate_plat_driver_data()253 assert(dmc_id == DMC500_PERIPHERAL_ID); in validate_plat_driver_data()