Home
last modified time | relevance | path

Searched refs:hartid (Results 1 – 2 of 2) sorted by relevance

/hal_microchip-3.7.0/mpfs/mpfs_hal/startup_gcc/
Dsystem_startup.c51 uint64_t hartid = read_csr(mhartid); in main_first_hart() local
53 if(hartid == MPFS_HAL_FIRST_HART) in main_first_hart()
/hal_microchip-3.7.0/mpfs/platform_config_reference/linker/
Dmpfs-ddr-loaded-by-boot-loader.ld18 * a0 - The hartid is passed here