Searched refs:scp_boot_config (Results 1 – 1 of 1) sorted by relevance
54 static unsigned int scp_boot_config; variable62 scp_boot_config = mmio_read_32(SCP_BOOT_CFG_ADDR); in bl2_early_platform_setup2()63 VERBOSE("BL2: Saved SCP Boot config = 0x%x\n", scp_boot_config); in bl2_early_platform_setup2()81 mmio_write_32(SCP_BOOT_CFG_ADDR, scp_boot_config); in bl2_platform_setup()