Searched refs:register_vgic_ops (Results 1 – 4 of 4) sorted by relevance
216 extern void register_vgic_ops(struct domain *d, const struct vgic_ops *ops);
741 register_vgic_ops(d, &vgic_v2_ops); in vgic_v2_init()
167 void register_vgic_ops(struct domain *d, const struct vgic_ops *ops) in register_vgic_ops() function
1822 register_vgic_ops(d, &v3_ops); in vgic_v3_init()
Completed in 8 milliseconds