Searched refs:read_vmcr_priority (Results 1 – 4 of 4) sorted by relevance
356 unsigned int (*read_vmcr_priority)(void); member
699 mask_priority = gic_hw_ops->read_vmcr_priority(); in gic_events_need_delivery()
1252 .read_vmcr_priority = gicv2_read_vmcr_priority,
1735 .read_vmcr_priority = gicv3_read_vmcr_priority,
Completed in 16 milliseconds