Searched refs:description (Results 1 - 25 of 39) sorted by relevance

12

/seL4-refos-master/kernel/tools/python-deps/
H A Dsetup.py45 description='Metapackage for downloading build dependencies for the seL4 microkernel', variable
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dprofile.h25 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 Dprofile.h25 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 Dprofile.c24 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 Dprofile.c24 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 Dinterface.tex26 \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 Dappendix.tex244 \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 Dreciprocal.py41 description="Generate magic numbers for emulating 64-bit division with multiplication by reciprocal using algorithm from Hacker's Delight, chapter 10.")
H A Dinvocation_header_gen.py144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
H A Dhardware_gen.py64 description='transform device tree input to seL4 build configuration artefacts' variable
H A Dsyscall_header_gen.py128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
/seL4-refos-master/seL4_tools/cmake-tool/helpers/
H A Delf_sift.py62 description="""
H A Dplatform_sift.py37 (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 Dshoehorn.py10 `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 Ddevice_header_gen.py69 description='transform sub-device (GPIO etc.) list to libplatsupport build artefacts' variable
/seL4-refos-master/libs/libplatsupport/tools/
H A Ddevice_header_gen.py69 description='transform sub-device (GPIO etc.) list to libplatsupport build artefacts' variable
/seL4-refos-master/kernel/libsel4/tools/
H A Dinvocation_header_gen.py144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
H A Dsyscall_header_gen.py128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
/seL4-refos-master/kernel/manual/tools/libsel4_tools/
H A Dinvocation_header_gen.py144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
H A Dsyscall_header_gen.py128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
/seL4-refos-master/libs/libsel4/tools/
H A Dinvocation_header_gen.py144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \
H A Dsyscall_header_gen.py128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
/seL4-refos-master/kernel/manual/parts/
H A Dio.tex23 \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 Dwhence.py46 parser = argparse.ArgumentParser(description='locate a Git commit in an upstream project from '
/seL4-refos-master/kernel/manual/tools/
H A Dgen_invocations.py105 parser = argparse.ArgumentParser(description='Generates doxygen-annotated header '

Completed in 181 milliseconds

12