Searched defs:arm_cpu (Results 1 – 2 of 2) sorted by relevance
18 ARMCPU *arm_cpu = ARM_CPU(cpu); in gicv3_set_gicv3state() local
113 void arm_cpu_kvm_set_irq(void *arm_cpu, int irq, int level) in arm_cpu_kvm_set_irq()