/seL4-refos-master/kernel/tools/python-deps/ |
H A D | setup.py | 45 description='Metapackage for downloading build dependencies for the seL4 microkernel', variable
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | profile.h | 25 const char *description; member in struct:profile_var 31 = {.type = _type, .var = &_var, .varname = #_var, .description = _description} 33 #define _WATCH_VAR32(var, description, unique) \ 35 __WATCH_VAR(PROFILE_VAR_TYPE_INT32, var, description, unique) 37 #define WATCH_VAR32(var, description) \ 38 _WATCH_VAR32(var, description, __LINE__) 40 #define _WATCH_VAR64(var, description, unique) \ 42 __WATCH_VAR(PROFILE_VAR_TYPE_INT64, var, description, unique) 44 #define WATCH_VAR64(var, description) \ 45 _WATCH_VAR64(var, description, __LINE_ [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | profile.h | 25 const char *description; member in struct:profile_var 31 = {.type = _type, .var = &_var, .varname = #_var, .description = _description} 33 #define _WATCH_VAR32(var, description, unique) \ 35 __WATCH_VAR(PROFILE_VAR_TYPE_INT32, var, description, unique) 37 #define WATCH_VAR32(var, description) \ 38 _WATCH_VAR32(var, description, __LINE__) 40 #define _WATCH_VAR64(var, description, unique) \ 42 __WATCH_VAR(PROFILE_VAR_TYPE_INT64, var, description, unique) 44 #define WATCH_VAR64(var, description) \ 45 _WATCH_VAR64(var, description, __LINE_ [all...] |
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | profile.c | 24 void profile_print32(uint32_t value, const char *varname, const char *description, void *cookie) argument 26 printf("%s: %"PRIu32" %s\n", varname, value, description); 28 void profile_print64(uint64_t value, const char *varname, const char *description, void *cookie) argument 30 printf("%s: %"PRIu64" %s\n", varname, value, description); 38 callback32(*(uint32_t*)i->var, i->varname, i->description, cookie); 41 callback64(*(uint64_t*)i->var, i->varname, i->description, cookie);
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | profile.c | 24 void profile_print32(uint32_t value, const char *varname, const char *description, void *cookie) argument 26 printf("%s: %"PRIu32" %s\n", varname, value, description); 28 void profile_print64(uint64_t value, const char *varname, const char *description, void *cookie) argument 30 printf("%s: %"PRIu64" %s\n", varname, value, description); 38 callback32(*(uint32_t*)i->var, i->varname, i->description, cookie); 41 callback64(*(uint64_t*)i->var, i->varname, i->description, cookie);
|
/seL4-refos-master/projects/refos/design/ |
H A D | interface.tex | 26 \begin{description} 40 \end{description} 46 This section describes a number of important protocols that \refOS employs. As noted in \autoref{mNotation} of this document, each protocol description consists of the server that is receiving and handling the method invocation via an endpoint, the name of the interface that the server implements, the name of the method call and the arguments that are passed to the method call and the return values, output variables and/or reply capabilities of the method invocation. Note that for simplification some method names differ slightly between this document and \refOS's implementation. 53 \begin{description} 58 \begin{description} 63 \end{description} 71 \begin{description} 76 \end{description} 81 \begin{description} 83 \end{description} [all...] |
H A D | appendix.tex | 244 \begin{description} 246 \begin{description} 255 \end{description} 259 \begin{description} 266 \end{description} 271 \begin{description} 279 \end{description} 283 \begin{description} 291 \end{description} 295 \begin{description} [all...] |
/seL4-refos-master/kernel/tools/ |
H A D | reciprocal.py | 41 description="Generate magic numbers for emulating 64-bit division with multiplication by reciprocal using algorithm from Hacker's Delight, chapter 10.")
|
H A D | invocation_header_gen.py | 144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
|
H A D | hardware_gen.py | 64 description='transform device tree input to seL4 build configuration artefacts' variable
|
H A D | syscall_header_gen.py | 128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
|
/seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
H A D | elf_sift.py | 62 description="""
|
H A D | platform_sift.py | 37 (False, ['no description of memory in file (no "memory" key)']) 39 (False, ['bad description of memory in file ("memory" is not a list)']) 66 problems.append('no description of memory in file (no "memory" key)') 68 problems.append('bad description of memory in file' 217 description=""" 221 If a YAML file lacks a description of memory, or fails to parse, a diagnostic is 246 help='YAML description of platform parameters')
|
H A D | shoehorn.py | 10 `payload_filename`. The address is calculated using the description of memory 116 description=""" 119 `payload_filename`. The address is calculated using the description of memory 130 help='YAML description of platform parameters (e.g.,'
|
/seL4-refos-master/projects/util_libs/libplatsupport/tools/ |
H A D | device_header_gen.py | 69 description='transform sub-device (GPIO etc.) list to libplatsupport build artefacts' variable
|
/seL4-refos-master/libs/libplatsupport/tools/ |
H A D | device_header_gen.py | 69 description='transform sub-device (GPIO etc.) list to libplatsupport build artefacts' variable
|
/seL4-refos-master/kernel/libsel4/tools/ |
H A D | invocation_header_gen.py | 144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
|
H A D | syscall_header_gen.py | 128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
|
/seL4-refos-master/kernel/manual/tools/libsel4_tools/ |
H A D | invocation_header_gen.py | 144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
|
H A D | syscall_header_gen.py | 128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
|
/seL4-refos-master/libs/libsel4/tools/ |
H A D | invocation_header_gen.py | 144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
|
H A D | syscall_header_gen.py | 128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
|
/seL4-refos-master/kernel/manual/parts/ |
H A D | io.tex | 23 \begin{description} 38 \end{description} 64 \begin{description} 70 \end{description} 121 \begin{description} 131 \end{description} 250 \begin{description} 267 \end{description} 279 \begin{description} 286 \end{description} [all...] |
/seL4-refos-master/seL4_tools/misc/ |
H A D | whence.py | 46 parser = argparse.ArgumentParser(description='locate a Git commit in an upstream project from '
|
/seL4-refos-master/kernel/manual/tools/ |
H A D | gen_invocations.py | 105 parser = argparse.ArgumentParser(description='Generates doxygen-annotated header '
|