vcpu_interrupt_irq_count_get (reference) in projects: hafnium-2.8-rc0

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

/hafnium-2.8-rc0/inc/hf/
A D	vcpu.h	`334 static inline uint32_t vcpu_interrupt_irq_count_get( in vcpu_interrupt_irq_count_get() function`
/hafnium-2.8-rc0/src/arch/aarch64/hypervisor/
A D	handler.c	`669 vcpu_interrupt_irq_count_get(vcpu_locked) > 0); in vcpu_update_virtual_interrupts() 684 vcpu_interrupt_irq_count_get(vcpu_locked) > 0); in vcpu_update_virtual_interrupts()`
/hafnium-2.8-rc0/src/arch/aarch64/plat/ffa/
A D	spmc.c	`1355 CHECK(vcpu_interrupt_irq_count_get(target_vcpu_locked) == 0); in plat_ffa_secure_interrupt_prepare()`

Completed in 20 milliseconds