Searched defs:vcpu_id (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/
H A Dguest_vm_util.h34 static inline seL4_CPtr vm_get_vcpu(vm_t *vm, int vcpu_id) argument
H A Dguest_vm.h134 unsigned int vcpu_id; member in struct:vm_vcpu
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/vgic/
H A Dvgic.c308 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...]

Completed in 65 milliseconds