Searched refs:bootpg_va (Results 1 – 1 of 1) sorted by relevance
106 u32 bootpg_va; in setup_mp() local113 bootpg_va = CONFIG_SYS_SCRATCH_VA; in setup_mp()115 bootpg_va = bootpg; in setup_mp()118 memcpy((void *)bootpg_va, (void *)fixup, 4096); in setup_mp()119 flush_cache(bootpg_va, 4096); in setup_mp()