Searched refs:vgic_dist_device (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/
H A Dvgic.h9 struct vgic_dist_device { struct
15 const struct vgic_dist_device dev_vgic_dist;
H A Dvgic.c126 static int vgic_vcpu_inject_irq(struct vgic_dist_device *d, vm_vcpu_t *inject_vcpu, struct virq_handle *irq);
207 static struct vgic_dist_device *vgic_dist;
287 static inline struct vgic *vgic_device_get_vgic(struct vgic_dist_device *d)
294 static inline struct gic_dist_map *vgic_priv_get_dist(struct vgic_dist_device *d)
301 static inline struct virq_handle **vgic_priv_get_lr(struct vgic_dist_device *d, vm_vcpu_t *vcpu)
495 static int vgic_vcpu_inject_irq(struct vgic_dist_device *d, vm_vcpu_t *inject_vcpu, struct virq_handle *irq)
546 static int vgic_dist_enable(struct vgic_dist_device *d, vm_t *vm)
554 static int vgic_dist_disable(struct vgic_dist_device *d, vm_t *vm)
562 static int vgic_dist_enable_irq(struct vgic_dist_device *d, vm_vcpu_t *vcpu, int irq)
583 static int vgic_dist_disable_irq(struct vgic_dist_device *
[all...]

Completed in 84 milliseconds