Searched refs:bootpg_va (Results 1 – 1 of 1) sorted by relevance
105 u32 bootpg_va; in setup_mp() local112 bootpg_va = CONFIG_SYS_SCRATCH_VA; in setup_mp()114 bootpg_va = bootpg; in setup_mp()117 memcpy((void *)bootpg_va, (void *)fixup, 4096); in setup_mp()118 flush_cache(bootpg_va, 4096); in setup_mp()