Searched refs:picmap (Results 1 – 1 of 1) sorted by relevance
56 static device_t picmap[MAXCPU]; variable165 picmap[cpuid] = ic; in platform_init_secondary()180 beripic_send_ipi(picmap[cpuid], cpuid); in platform_ipi_send()190 beripic_clear_ipi(picmap[cpuid], cpuid); in platform_ipi_clear()