Searched refs:fatal (Results 1 - 7 of 7) sorted by relevance
| /seL4-refos-master/libs/libsel4vka/src/ |
| H A D | debug-vka.c | 65 #define fatal(args...) do { \ macro
71 /* This is called when we encounter a non-fatal problem. */
88 fatal("allocator attempted to hand out the null slot");
98 fatal("allocator attempted to hand out slot %lu that is currently "
139 fatal("attempt to free slot %lu that was not live (double free?)", (long)slot);
184 fatal("allocator attempted to hand out an object with no cookie");
190 fatal("allocator attempted to hand out an object with a cookie %zu "
273 fatal("attempt to free object with type %d that was allocated "
277 fatal("attempt to free object with size %d that was allocated "
284 fatal("attemp
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
| H A D | debug-vka.c | 65 #define fatal(args...) do { \ macro
71 /* This is called when we encounter a non-fatal problem. */
88 fatal("allocator attempted to hand out the null slot");
98 fatal("allocator attempted to hand out slot %lu that is currently "
139 fatal("attempt to free slot %lu that was not live (double free?)", (long)slot);
184 fatal("allocator attempted to hand out an object with no cookie");
190 fatal("allocator attempted to hand out an object with a cookie %zu "
273 fatal("attempt to free object with type %d that was allocated "
277 fatal("attempt to free object with size %d that was allocated "
284 fatal("attemp
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/tools/ |
| H A D | device_header_gen.py | 64 logging.fatal("Failed to parse the device list file {0}".format(args.device_list.name))
|
| /seL4-refos-master/libs/libplatsupport/tools/ |
| H A D | device_header_gen.py | 64 logging.fatal("Failed to parse the device list file {0}".format(args.device_list.name))
|
| /seL4-refos-master/seL4_tools/misc/ |
| H A D | style.py | 63 logging.fatal("%s failed with error code %d\n%s", files,
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | mon.c | 2013 poisoned(string, typ, pname, fatal)
2015 int typ, fatal;
2018 boolean thrown_weapon = (fatal < 0);
2020 if (thrown_weapon) fatal = -fatal;
2045 i = rn2(fatal + 20*thrown_weapon);
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | mon.c | 2013 poisoned(string, typ, pname, fatal)
2015 int typ, fatal;
2018 boolean thrown_weapon = (fatal < 0);
2020 if (thrown_weapon) fatal = -fatal;
2045 i = rn2(fatal + 20*thrown_weapon);
|
Completed in 271 milliseconds