Lines Matching defs:intid
47 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_read_group() local
72 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_group() local
99 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_read_enable() local
120 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_senable() local
169 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_cenable() local
191 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_uaccess_write_senable() local
212 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_uaccess_write_cenable() local
232 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_read_pending() local
274 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_spending() local
316 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_uaccess_write_spending() local
367 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_cpending() local
410 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_uaccess_write_cpending() local
451 static void vgic_access_active_prepare(struct kvm_vcpu *vcpu, u32 intid) in vgic_access_active_prepare()
459 static void vgic_access_active_finish(struct kvm_vcpu *vcpu, u32 intid) in vgic_access_active_finish()
469 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in __vgic_mmio_read_active() local
493 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_read_active() local
575 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in __vgic_mmio_write_cactive() local
589 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_cactive() local
612 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in __vgic_mmio_write_sactive() local
626 u32 intid = VGIC_ADDR_TO_INTID(addr, 1); in vgic_mmio_write_sactive() local
648 u32 intid = VGIC_ADDR_TO_INTID(addr, 8); in vgic_mmio_read_priority() local
674 u32 intid = VGIC_ADDR_TO_INTID(addr, 8); in vgic_mmio_write_priority() local
695 u32 intid = VGIC_ADDR_TO_INTID(addr, 2); in vgic_mmio_read_config() local
715 u32 intid = VGIC_ADDR_TO_INTID(addr, 2); in vgic_mmio_write_config() local
744 u64 vgic_read_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid) in vgic_read_irq_line_level_info()
766 void vgic_write_irq_line_level_info(struct kvm_vcpu *vcpu, u32 intid, in vgic_write_irq_line_level_info()