Searched refs:is_enabled (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/kernel/include/machine/
H A Ddebug.h50 * @param is_enabled Bool stating whether or not the breakpoint is enabled.
54 bool_t is_enabled; member in struct:getBreakpointRet
/seL4-refos-master/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
88 return combiner->is_enabled(combiner, cirq);
/seL4-refos-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
88 return combiner->is_enabled(combiner, cirq);
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/
H A Dirq_combiner.c109 combiner->is_enabled = &exynos_irq_combiner_is_enabled;
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dirq_combiner.c109 combiner->is_enabled = &exynos_irq_combiner_is_enabled;
/seL4-refos-master/kernel/src/arch/x86/machine/
H A Dbreakpoint.c457 ret.is_enabled = breakpointIsEnabled(t, bp_num);
/seL4-refos-master/kernel/src/arch/arm/machine/
H A Ddebug.c614 ret.is_enabled = dbg_bcr_get_enabled(bcr);
622 ret.is_enabled = dbg_wcr_get_enabled(wcr);
/seL4-refos-master/kernel/src/object/
H A Dtcb.c695 setMR(NODE_STATE(ksCurThread), buffer, 4, res.is_enabled);

Completed in 142 milliseconds