vgic_v4_get_vlpi_state (reference) in projects: linux

Searched refs:vgic_v4_get_vlpi_state (Results 1 – 3 of 3) sorted by relevance

/linux/arch/arm64/kvm/vgic/
H A D	vgic.h	`346 void vgic_v4_get_vlpi_state(struct vgic_irq irq, bool val);`
H A D	vgic-v4.c	`213 void vgic_v4_get_vlpi_state(struct vgic_irq irq, bool val) in vgic_v4_get_vlpi_state() function`
H A D	vgic-v3.c	`441 vgic_v4_get_vlpi_state(irq, &is_pending); in vgic_v3_save_pending_tables()`