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