Searched refs:scp_boot_config (Results 1 – 2 of 2) sorted by relevance
41 static unsigned int scp_boot_config; variable48 VERBOSE("BL2: Saving SCP Boot config = 0x%x\n", scp_boot_config); in bl2_early_platform_setup()49 scp_boot_config = mmio_read_32(SCP_BOOT_CFG_ADDR); in bl2_early_platform_setup()56 mmio_write_32(SCP_BOOT_CFG_ADDR, scp_boot_config); in bl2_platform_setup()57 VERBOSE("BL2: Restored SCP Boot config = 0x%x\n", scp_boot_config); in bl2_platform_setup()
61 static unsigned int scp_boot_config; variable68 scp_boot_config = mmio_read_32(SCP_BOOT_CFG_ADDR); in bl2_early_platform_setup()69 VERBOSE("BL2: Saved SCP Boot config = 0x%x\n", scp_boot_config); in bl2_early_platform_setup()87 mmio_write_32(SCP_BOOT_CFG_ADDR, scp_boot_config); in bl2_platform_setup()