Home
last modified time | relevance | path

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

/external/arm-trusted-firmware/drivers/arm/tzc/
Dtzc_dmc620.c60 uint32_t max_31_00, max_47_32; in tzc_dmc620_configure_region() local
79 max_31_00 = (uint32_t)(region_top & MASK_31_16); in tzc_dmc620_configure_region()
91 max_31_00); in tzc_dmc620_configure_region()