Lines Matching defs:val
61 static void __gic_v3_set_lr(u64 val, int lr) in __gic_v3_set_lr()
115 static void __vgic_v3_write_ap0rn(u32 val, int n) in __vgic_v3_write_ap0rn()
133 static void __vgic_v3_write_ap1rn(u32 val, int n) in __vgic_v3_write_ap1rn()
153 u32 val; in __vgic_v3_read_ap0rn() local
177 u32 val; in __vgic_v3_read_ap1rn() local
309 u64 val; in __vgic_v3_deactivate_traps() local
335 u64 val; in __vgic_v3_save_aprs() local
368 u64 val; in __vgic_v3_restore_aprs() local
416 u64 val, sre = read_gicreg(ICC_SRE_EL1); in __vgic_v3_get_gic_config() local
492 u64 val = __gic_v3_get_lr(i); in __vgic_v3_highest_priority_lr() local
530 u64 val = __gic_v3_get_lr(i); in __vgic_v3_find_active_lr() local
550 u32 val; in __vgic_v3_get_highest_active_priority() local
620 u32 val; in __vgic_v3_set_active_priority() local
804 u64 val = vcpu_get_reg(vcpu, rt); in __vgic_v3_write_igrpen0() local
816 u64 val = vcpu_get_reg(vcpu, rt); in __vgic_v3_write_igrpen1() local
838 u64 val = vcpu_get_reg(vcpu, rt); in __vgic_v3_write_bpr0() local
855 u64 val = vcpu_get_reg(vcpu, rt); in __vgic_v3_write_bpr1() local
875 u32 val; in __vgic_v3_read_apxrn() local
887 u32 val = vcpu_get_reg(vcpu, rt); in __vgic_v3_write_apxrn() local
965 u32 val = vcpu_get_reg(vcpu, rt); in __vgic_v3_write_pmr() local
977 u32 val = __vgic_v3_get_highest_active_priority(); in __vgic_v3_read_rpr() local
983 u32 vtr, val; in __vgic_v3_read_ctlr() local
1004 u32 val = vcpu_get_reg(vcpu, rt); in __vgic_v3_write_ctlr() local