Searched defs:vcpu_base (Results 1 – 3 of 3) sorted by relevance
| /Linux-v4.19/include/kvm/ | ||
| D | arm_vgic.h | 58 phys_addr_t vcpu_base; member |
| /Linux-v4.19/drivers/irqchip/ | ||
| D | irq-gic-v3.c | 1352 phys_addr_t vcpu_base; member |
| D | irq-gic.c | 1507 phys_addr_t vcpu_base; member |