| 181 | } |
| 182 | |
| 183 | void |
| 184 | platform_ipi_clear(void) |
| 185 | { |
| 186 | int cpuid; |
| 187 | |
| 188 | cpuid = platform_processor_id(); |
| 189 | |
| 190 | beripic_clear_ipi(picmap[cpuid], cpuid); |
| 191 | } |
| 192 | |
| 193 | /* |
| 194 | * XXXBED: Set via FDT? |
nothing calls this directly
no test coverage detected