Searched refs:its_send_vmapti (Results 1 – 1 of 1) sorted by relevance
| /Linux-v4.19/drivers/irqchip/ | ||
| D | irq-gic-v3-its.c | 926 static void its_send_vmapti(struct its_device *dev, u32 id) in its_send_vmapti() function |
Searched refs:its_send_vmapti (Results 1 – 1 of 1) sorted by relevance
| /Linux-v4.19/drivers/irqchip/ | ||
| D | irq-gic-v3-its.c | 926 static void its_send_vmapti(struct its_device *dev, u32 id) in its_send_vmapti() function |