Searched refs:ich_lr_used (Results 1 – 1 of 1) sorted by relevance
141 u_int ich_lr_used; member530 vgic_cpu->ich_lr_used = 0; in vgic_v3_cpuinit()2126 KASSERT(vgic_cpu->ich_lr_used == 0, ("%s: Used LR count not zero %u", in vgic_v3_flush_hwstate()2127 __func__, vgic_cpu->ich_lr_used)); in vgic_v3_flush_hwstate()2172 vgic_cpu->ich_lr_used = i; in vgic_v3_flush_hwstate()2189 if (vgic_cpu->ich_lr_used == 0) in vgic_v3_sync_hwstate()2197 for (i = 0; i < vgic_cpu->ich_lr_used; i++) { in vgic_v3_sync_hwstate()2247 vgic_cpu->ich_lr_used = 0; in vgic_v3_sync_hwstate()