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

/seL4-test-master/kernel/include/machine/
H A Ddebug.h54 bool_t is_enabled; member in struct:getBreakpointRet
/seL4-test-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/
H A Dirq_combiner.h22 int (*is_enabled)(irq_combiner_t* combiner, combiner_irq_t cirq); member in struct:irq_combiner
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/vgic/
H A Dvgic.c400 static inline int is_enabled(struct gic_dist_map *gic_dist, int irq, int vcpu_id) function

Completed in 40 milliseconds