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