Searched defs:used_lrs (Results 1 – 2 of 2) sorted by relevance
430 u64 used_lrs = vcpu->arch.vgic_cpu.used_lrs; in save_lrs() local451 u64 used_lrs = vcpu->arch.vgic_cpu.used_lrs; in vgic_v2_save_state() local466 u64 used_lrs = vcpu->arch.vgic_cpu.used_lrs; in vgic_v2_restore_state() local
200 u64 used_lrs = vcpu->arch.vgic_cpu.used_lrs; in __vgic_v3_save_state() local236 u64 used_lrs = vcpu->arch.vgic_cpu.used_lrs; in __vgic_v3_restore_state() local456 unsigned int used_lrs = vcpu->arch.vgic_cpu.used_lrs; in __vgic_v3_highest_priority_lr() local495 unsigned int used_lrs = vcpu->arch.vgic_cpu.used_lrs; in __vgic_v3_find_active_lr() local