Searched refs:eisr (Results 1 – 1 of 1) sorted by relevance
1366 u64 eisr = vgic_get_eisr(vcpu); in vgic_process_maintenance() local1367 unsigned long *eisr_ptr = u64_to_bitmask(&eisr); in vgic_process_maintenance()