Searched refs:gic_update_vlpi_properties (Results 1 – 1 of 1) sorted by relevance
| /Linux-v4.19/drivers/irqchip/ | ||
| D | irq-gic-v3.c | 522 static void gic_update_vlpi_properties(void) in gic_update_vlpi_properties() function |
Searched refs:gic_update_vlpi_properties (Results 1 – 1 of 1) sorted by relevance
| /Linux-v4.19/drivers/irqchip/ | ||
| D | irq-gic-v3.c | 522 static void gic_update_vlpi_properties(void) in gic_update_vlpi_properties() function |