Searched defs:description (Results 1 - 9 of 9) sorted by relevance
| /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
28 void profile_print64(uint64_t value, const char *varname, const char *description, void *cookie) argument
|
| /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
28 void profile_print64(uint64_t value, const char *varname, const char *description, void *cookie) argument
|
| /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/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/libs/libsel4utils/include/sel4utils/ |
| H A D | profile.h | 25 const char *description; member in struct:profile_var
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | profile.h | 25 const char *description; member in struct:profile_var
[all...] |
| /seL4-refos-master/kernel/tools/ |
| H A D | hardware_gen.py | 64 description='transform device tree input to seL4 build configuration artefacts' variable
|
| /seL4-refos-master/projects/seL4_libs/libsel4test/include/sel4test/ |
| H A D | test.h | 127 const char *description; member in struct:testcase
|
Completed in 48 milliseconds