H A D | vgic.c | 308 static inline void set_sgi_ppi_pending(struct gic_dist_map *gic_dist, int irq, int value, int vcpu_id) argument 319 set_spi_pending(struct gic_dist_map *gic_dist, int irq, int value, int vcpu_id) argument 330 set_pending(struct gic_dist_map *gic_dist, int irq, int value, int vcpu_id) argument 339 is_sgi_ppi_pending(struct gic_dist_map *gic_dist, int irq, int vcpu_id) argument 344 is_spi_pending(struct gic_dist_map *gic_dist, int irq, int vcpu_id) argument 349 is_pending(struct gic_dist_map *gic_dist, int irq, int vcpu_id) argument 358 set_sgi_ppi_enable(struct gic_dist_map *gic_dist, int irq, int value, int vcpu_id) argument 370 set_spi_enable(struct gic_dist_map *gic_dist, int irq, int value, int vcpu_id) argument 381 set_enable(struct gic_dist_map *gic_dist, int irq, int value, int vcpu_id) argument 390 is_sgi_ppi_enabled(struct gic_dist_map *gic_dist, int irq, int vcpu_id) argument 395 is_spi_enabled(struct gic_dist_map *gic_dist, int irq, int vcpu_id) argument 400 is_enabled(struct gic_dist_map *gic_dist, int irq, int vcpu_id) argument 408 set_sgi_ppi_active(struct gic_dist_map *gic_dist, int irq, int value, int vcpu_id) argument 417 set_spi_active(struct gic_dist_map *gic_dist, int irq, int value, int vcpu_id) argument 426 set_active(struct gic_dist_map *gic_dist, int irq, int value, int vcpu_id) argument 435 is_sgi_ppi_active(struct gic_dist_map *gic_dist, int irq, int vcpu_id) argument 440 is_spi_active(struct gic_dist_map *gic_dist, int irq, int vcpu_id) argument 445 is_active(struct gic_dist_map *gic_dist, int irq, int vcpu_id) argument 641 int vcpu_id = vcpu->vcpu_id; local 796 int vcpu_id = vcpu->vcpu_id; local [all...] |