Searched defs:vpt_page (Results 1 – 2 of 2) sorted by relevance
| /linux-6.12.1/include/linux/irqchip/ | ||
| D | arm-gic-v4.h | 41 struct page *vpt_page; member |
| /linux-6.12.1/drivers/irqchip/ | ||
| D | irq-gic-v3-its.c | 4459 struct page *vpt_page; in its_vpe_init() local |