Searched refs:read_vmcr_priority (Results 1 – 4 of 4) sorted by relevance
371 unsigned int (*read_vmcr_priority)(void); member
367 mask_priority = gic_hw_ops->read_vmcr_priority(); in vgic_vcpu_pending_irq()
1356 .read_vmcr_priority = gicv2_read_vmcr_priority,
1856 .read_vmcr_priority = gicv3_read_vmcr_priority,
Completed in 11 milliseconds