Home
last modified time | relevance | path

Searched defs:mpc_data_region3 (Results 1 – 3 of 3) sorted by relevance

/trusted-firmware-m-latest/platform/ext/target/arm/musca_s1/
Dboot_hal_bl2.c62 ARM_DRIVER_MPC* mpc_data_region3 = &Driver_ISRAM3_MPC; in boot_platform_init() local
Dtarget_cfg.c400 ARM_DRIVER_MPC* mpc_data_region3 = &Driver_ISRAM3_MPC; in mpc_init_cfg() local
488 ARM_DRIVER_MPC* mpc_data_region3 = &Driver_ISRAM3_MPC; in mpc_revert_non_secure_to_secure_cfg() local
/trusted-firmware-m-latest/platform/ext/target/arm/musca_b1/
Dtarget_cfg.c379 ARM_DRIVER_MPC* mpc_data_region3 = &Driver_ISRAM3_MPC; in mpc_init_cfg() local
456 ARM_DRIVER_MPC* mpc_data_region3 = &Driver_ISRAM3_MPC; in mpc_revert_non_secure_to_secure_cfg() local