Searched refs:platid (Results 1 – 1 of 1) sorted by relevance
116 _socfpga_mp_start_ap(uint32_t platid) in _socfpga_mp_start_ap() argument121 switch (platid) { in _socfpga_mp_start_ap()137 panic("Unknown platform id %d\n", platid); in _socfpga_mp_start_ap()161 switch (platid) { in _socfpga_mp_start_ap()175 panic("Unknown platform id %d\n", platid); in _socfpga_mp_start_ap()191 switch (platid) { in _socfpga_mp_start_ap()205 panic("Unknown platform id %d\n", platid); in _socfpga_mp_start_ap()