Symbol: gicv5_ipi_send
sys/arm64/arm64/gicv5.c
136
static pic_ipi_send_t gicv5_ipi_send;
sys/arm64/arm64/gicv5.c
167
DEVMETHOD(pic_ipi_send, gicv5_ipi_send),