Searched refs:its_make_vpe_resident (Results 1 - 6 of 6) sorted by relevance
/kernel/linux/linux-5.10/include/linux/irqchip/ |
H A D | arm-gic-v4.h | 130 int its_make_vpe_resident(struct its_vpe *vpe, bool g0en, bool g1en);
|
/kernel/linux/linux-6.6/include/linux/irqchip/ |
H A D | arm-gic-v4.h | 133 int its_make_vpe_resident(struct its_vpe *vpe, bool g0en, bool g1en);
|
/kernel/linux/linux-5.10/drivers/irqchip/ |
H A D | irq-gic-v4.c | 238 int its_make_vpe_resident(struct its_vpe *vpe, bool g0en, bool g1en) in its_make_vpe_resident() function
|
/kernel/linux/linux-6.6/drivers/irqchip/ |
H A D | irq-gic-v4.c | 260 int its_make_vpe_resident(struct its_vpe *vpe, bool g0en, bool g1en) in its_make_vpe_resident() function
|
/kernel/linux/linux-5.10/arch/arm64/kvm/vgic/ |
H A D | vgic-v4.c | 70 * irq corresponding to the vcpu, then call its_make_vpe_resident(). 341 err = its_make_vpe_resident(vpe, false, vcpu->kvm->arch.vgic.enabled); in vgic_v4_load()
|
/kernel/linux/linux-6.6/arch/arm64/kvm/vgic/ |
H A D | vgic-v4.c | 70 * irq corresponding to the vcpu, then call its_make_vpe_resident(). 370 err = its_make_vpe_resident(vpe, false, vcpu->kvm->arch.vgic.enabled); in vgic_v4_load()
|
Completed in 4 milliseconds