Searched refs:tmp_reg (Results 1 – 1 of 1) sorted by relevance
242 uint32_t tmp_reg; in bl31_platform_setup() local264 tmp_reg = SCR_RES1_BITS | SCR_RW_BIT; in bl31_platform_setup()265 write_scr(tmp_reg); in bl31_platform_setup()