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

/seL4-test-master/projects/sel4test/libsel4testsupport/src/
H A Dtestreporter.c29 static USED SECTION("_test_type") struct {} dummy_test_type;
30 static USED SECTION("_test_case") struct {} dummy_test_case;
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/
H A Dtegra.c22 static USED SECTION("_ps_irqchips") struct {} dummy_ps_irqchips;
/seL4-test-master/projects/util_libs/libplatsupport/src/
H A Dirqchip.h27 USED SECTION("_ps_irqchips") ps_irqchip_t *instance##_ptr = &instance
H A Dfdt.c21 static USED SECTION("_ps_irqchips") struct {} dummy_ps_irqchips;
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/
H A Ddriver_module.h45 USED SECTION("_driver_modules") ps_driver_module_t *name##_ptr = &name;
/seL4-test-master/kernel/src/arch/x86/32/
H A Dc_traps.c22 USED static void NORETURN vmlaunch_failed(void)
/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dattribute.h65 #define USED __attribute__((__used__)) macro
/seL4-test-master/kernel/include/
H A Dutil.h48 #define USED __attribute__((used)) macro

Completed in 45 milliseconds