Searched refs:vpt_page (Results 1 – 2 of 2) sorted by relevance
| /linux/include/linux/irqchip/ | ||
| H A D | arm-gic-v4.h | 41 struct page *vpt_page; member |
| /linux/arch/arm64/kvm/vgic/ | ||
| H A D | vgic-v4.c | 223 va = page_address(vpe->vpt_page); in vgic_v4_get_vlpi_state() |