Searched defs:vcpu_id (Results 1 – 3 of 3) sorted by relevance
| /virt/kvm/arm/ |
| D | vgic-v2-emul.c | 38 static u8 *vgic_get_sgi_sources(struct vgic_dist *dist, int vcpu_id, int sgi) in vgic_get_sgi_sources()
252 int vcpu_id = vcpu->vcpu_id; in read_set_clear_sgi_pend_reg() local
274 int vcpu_id = vcpu->vcpu_id; in write_set_clear_sgi_pend_reg() local
413 int sgi, mode, c, vcpu_id; in vgic_dispatch_sgi() local
453 int vcpu_id = vcpu->vcpu_id; in vgic_v2_queue_sgi() local
|
| D | vgic.c | 486 phys_addr_t offset, int vcpu_id, int access) in vgic_handle_enable_reg()
509 phys_addr_t offset, int vcpu_id) in vgic_handle_set_pending_reg()
546 phys_addr_t offset, int vcpu_id) in vgic_handle_clear_pending_reg()
582 phys_addr_t offset, int vcpu_id) in vgic_handle_set_active_reg()
601 phys_addr_t offset, int vcpu_id) in vgic_handle_clear_active_reg()
937 int vcpu_id; in compute_active_for_cpu() local
967 int vcpu_id; in compute_pending_for_cpu() local
1247 int i, vcpu_id; in __kvm_vgic_flush_hwstate() local
1960 int ret, i, vcpu_id; in vgic_init() local
|
| D | vgic-v3-emul.c | 282 int vcpu_id; in handle_mmio_route_reg() local
937 int vcpu_id = vcpu->vcpu_id; in vgic_v3_dispatch_sgi() local
|