Home
last modified time | relevance | path

Searched refs:macro (Results 1 – 13 of 13) sorted by relevance

/seL4-master/tools/hardware/utils/
A Drule.py19 def get_macro_str(macro: str) -> str:
21 if macro is None:
24 if macro[0] == '!':
25 return '#ifndef ' + macro[1:]
26 return '#ifdef ' + macro
29 def get_endif(macro: str) -> str:
31 if macro is None:
34 return '#endif /* {} */'.format(macro)
41 self.macro = condition_macro
57 return self.macro is not None
[all …]
/seL4-master/tools/
A Dhardware_schema.yml53 … description: kernel macro used to access this region. If not present, region will not be mapped.
54 $ref: '#/definitions/macro'
62 macro:
63 description: only map the region to the kernel if this macro is defined
64 $ref: '#/definitions/macro'
80 …description: only set interrupt if this macro is defined - this rule will be ignored if the given …
81 $ref: '#/definitions/macro'
87 if macro is defined, use 'index' as IRQ, otherwise use undef_index.
100 $ref: '#/definitions/macro'
119 macro:
A Dhardware.yml32 macro: CONFIG_ARM_HYPERVISOR_SUPPORT
110 macro: CONFIG_ARM_SMMU
118 macro: CONFIG_TK1_SMMU
199 macro: CONFIG_PRINTING
A Dhelpers.cmake207 macro(cfg_str_add_disabled cfg_str name)
212 macro(cfg_str_add_define cfg_str name value comment)
221 macro(cfg_str_add cfg_str name value)
229 macro(cfg_str_add_as_1 cfg_str name var)
303 macro(config_set optionname configname value)
569 macro(get_generated_files output target)
608 macro(list_append_if list dep)
634 # Will also set `stale` to TRUE if the arguments given to this macro
651 macro(check_outfile_stale stale outfile deps_list arg_cache)
679 # This macro only works when cmake is invoked with -P (script mode) on a kernel
[all …]
/seL4-master/
A DFindseL4.cmake12 macro(sel4_import_kernel)
16 macro(sel4_import_libsel4)
20 macro(sel4_configure_platform_settings)
A DCMakeLists.txt125 macro(KernelCommonFlags)
A Dgdb-macros453 …nteger), arg2: the depth to resolve to (an integer). The currthread_cnode macro may be useful to o…
/seL4-master/configs/
A DseL4Config.cmake22 # This macro is intended to be called from within a platform config.
23 macro(declare_seL4_arch sel4_arch)
67 # helper macro to unify messages printed output
69 macro(print_message_multiple_options_helper str_type default_str)
83 macro(declare_platform name config1 config2 enable_test)
94 # helper macro that prints a message that no sub platform is specified and
97 macro(check_platform_and_fallback_to_default var_cmake_kernel_plat default_sub_plat)
104 # helper macro that prints a message that no architecture is specified and
107 macro(fallback_declare_seL4_arch_default default_arch)
117 macro(declare_default_headers)
/seL4-master/include/
A Dutil.h113 #define config_set(macro) _is_set_(macro) argument
121 #define config_ternary(macro, true, false) _config_ternary(macro, true, false) argument
/seL4-master/src/arch/arm/64/
A Dtraps.S33 .macro lsp_i _tmp
41 .macro ventry label
72 .macro kernel_enter
/seL4-master/src/drivers/
A Dconfig.cmake9 macro(register_driver compatibility_strings match_strings)
/seL4-master/src/arch/arm/32/
A Dhyp_traps.S94 .macro EX_ENTRY
109 .macro PUSH_STACK
/seL4-master/manual/
A DDoxyfile641 # initial value of a variable or macro / define can have for it to appear in the
1980 # If the MACRO_EXPANSION tag is set to YES, doxygen will expand all macro names
1990 # the macro expansion is limited to the macros specified with the PREDEFINED and
2019 # The PREDEFINED tag can be used to specify one or more macro names that are
2023 # is assumed. To prevent a macro definition from being undefined via #undef or
2030 # tag can be used to specify a list of macro names that should be expanded. The
2031 # macro definition that is found in the sources will be used. Use the PREDEFINED
2032 # tag if you want to use a different macro definition that overrules the

Completed in 26 milliseconds