Searched refs:fatal (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4vka/src/
H A Ddebug-vka.c65 #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-test-master/projects/util_libs/libplatsupport/tools/
H A Ddevice_header_gen.py64 logging.fatal("Failed to parse the device list file {0}".format(args.device_list.name))
/seL4-test-master/tools/seL4/misc/
H A Dstyle.py63 logging.fatal("%s failed with error code %d\n%s", files,
/seL4-test-master/tools/riscv-pk/
H A Dconfigure1126 fatal) as_fn_error $? "unrecognized options: $ac_unrecognized_opts" ;;

Completed in 48 milliseconds