Searched defs:value (Results 1 – 4 of 4) sorted by relevance
50 u32 value = 0; in vgic_mmio_read_enable() local107 u32 value = 0; in vgic_mmio_read_pending() local171 u32 value = 0; in vgic_mmio_read_active() local341 u32 value = 0; in vgic_mmio_read_config() local
60 u32 value = 0; in vgic_mmio_read_v3_misc() local182 u64 value; in vgic_mmio_read_v3r_typer() local
26 u32 value; in vgic_mmio_read_v2_misc() local
368 int kvm_arm_timer_set_reg(struct kvm_vcpu *vcpu, u64 regid, u64 value) in kvm_arm_timer_set_reg()