Searched defs:vctrl_base (Results 1 – 2 of 2) sorted by relevance
| /OK3568_Linux_fs/kernel/include/kvm/ | ||
| H A D | arm_vgic.h | 55 void __iomem *vctrl_base; member |
| /OK3568_Linux_fs/kernel/drivers/irqchip/ | ||
| H A D | irq-gic.c | 1641 phys_addr_t vctrl_base; member |