| 154 | } |
| 155 | |
| 156 | void |
| 157 | platform_init_secondary(int cpuid) |
| 158 | { |
| 159 | device_t ic; |
| 160 | int ipi; |
| 161 | |
| 162 | ipi = platform_ipi_hardintr_num(); |
| 163 | |
| 164 | ic = devclass_get_device(devclass_find("beripic"), cpuid); |
| 165 | picmap[cpuid] = ic; |
| 166 | beripic_setup_ipi(ic, cpuid, ipi); |
| 167 | |
| 168 | /* Unmask the interrupt */ |
| 169 | if (cpuid != 0) { |
| 170 | mips_wr_status(mips_rd_status() | (((1 << ipi) << 8) << 2)); |
| 171 | } |
| 172 | } |
| 173 | |
| 174 | void |
| 175 | platform_ipi_send(int cpuid) |
no test coverage detected