Searched refs:is_enabled (Results 1 - 8 of 8) sorted by relevance
| /seL4-test-master/kernel/include/machine/ |
| H A D | debug.h | 50 * @param is_enabled Bool stating whether or not the breakpoint is enabled.
54 bool_t is_enabled; member in struct:getBreakpointRet
|
| /seL4-test-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | irq_combiner.h | 22 int (*is_enabled)(irq_combiner_t* combiner, combiner_irq_t cirq); member in struct:irq_combiner
88 return combiner->is_enabled(combiner, cirq);
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | breakpoints.c | 298 test_eq((int)result.is_enabled, true);
332 test_eq((int)result.is_enabled, true);
364 test_eq((int)result.is_enabled, false);
394 test_eq((int)result.is_enabled, false);
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | irq_combiner.c | 109 combiner->is_enabled = &exynos_irq_combiner_is_enabled;
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/vgic/ |
| H A D | vgic.c | 115 #define not_enabled(...) !is_enabled(__VA_ARGS__)
400 static inline int is_enabled(struct gic_dist_map *gic_dist, int irq, int vcpu_id) function
606 if (virq_data && gic_dist->enable && is_enabled(gic_dist, irq, vcpu->vcpu_id)) {
|
| /seL4-test-master/kernel/src/arch/x86/machine/ |
| H A D | breakpoint.c | 457 ret.is_enabled = breakpointIsEnabled(t, bp_num);
|
| /seL4-test-master/kernel/src/arch/arm/machine/ |
| H A D | debug.c | 614 ret.is_enabled = dbg_bcr_get_enabled(bcr);
622 ret.is_enabled = dbg_wcr_get_enabled(wcr);
|
| /seL4-test-master/kernel/src/object/ |
| H A D | tcb.c | 695 setMR(NODE_STATE(ksCurThread), buffer, 4, res.is_enabled);
|
Completed in 223 milliseconds