Home
last modified time | relevance | path

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

/trusted-firmware-m-latest/platform/ext/target/arm/musca_s1/
Dboot_hal_bl2.c61 ARM_DRIVER_MPC* mpc_data_region2 = &Driver_ISRAM2_MPC; in boot_platform_init() local
Dtarget_cfg.c399 ARM_DRIVER_MPC* mpc_data_region2 = &Driver_ISRAM2_MPC; in mpc_init_cfg() local
487 ARM_DRIVER_MPC* mpc_data_region2 = &Driver_ISRAM2_MPC; in mpc_revert_non_secure_to_secure_cfg() local
/trusted-firmware-m-latest/platform/ext/target/arm/musca_b1/
Dtarget_cfg.c378 ARM_DRIVER_MPC* mpc_data_region2 = &Driver_ISRAM2_MPC; in mpc_init_cfg() local
455 ARM_DRIVER_MPC* mpc_data_region2 = &Driver_ISRAM2_MPC; in mpc_revert_non_secure_to_secure_cfg() local