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

/seL4-refos-master/seL4_tools/elfloader-tool/include/binaries/efi/
H A Defi.h68 void *runtime; member in struct:__anon190
111 #define EFI_MEMORY_RUNTIME ((uint64_t)0x8000000000000000ULL) /* range requires runtime mapping */
/seL4-refos-master/tools/elfloader/include/binaries/efi/
H A Defi.h68 void *runtime; member in struct:__anon206
111 #define EFI_MEMORY_RUNTIME ((uint64_t)0x8000000000000000ULL) /* range requires runtime mapping */
/seL4-refos-master/libs/libmuslc/ldso/
H A Ddynlink.c119 static int runtime; variable
342 if (runtime) longjmp(*rtld_fail, 1);
422 if (runtime && def.dso->tls_id >= static_tls_cnt) {
450 if (runtime) longjmp(*rtld_fail, 1);
708 if (!runtime) reclaim_gaps(dso);
874 if (!runtime) a_crash();
1025 if (runtime && temp_dso.tls.image) {
1090 if (runtime) longjmp(*rtld_fail, 1);
1093 if (runtime) {
1161 if (runtime) longjm
[all...]
/seL4-refos-master/libs/libmuslc/
H A Dconfigure43 LIBCC compiler runtime library [detected]
575 # libc.so will crash at runtime during relocation processing.
577 # runtime library; implementation error is also a possibility.
580 # Avoid exporting symbols from compiler runtime libraries. They
590 # Find compiler runtime library
595 printf "using compiler runtime libraries: %s\n" "$LIBCC"

Completed in 40 milliseconds