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

/seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/efi/
H A Defi_init.c10 void *__application_handle = NULL; // current efi application handler variable
17 __application_handle = (void *)application_handle;
80 status = bts->exit_boot_services(__application_handle, key);
/seL4-refos-master/tools/elfloader/src/binaries/efi/
H A Defi_init.c10 void *__application_handle = NULL; // current efi application handler variable
17 __application_handle = (void *)application_handle;
80 status = bts->exit_boot_services(__application_handle, key);
/seL4-refos-master/seL4_tools/elfloader-tool/include/binaries/efi/
H A Defi.h75 extern void *__application_handle;
/seL4-refos-master/tools/elfloader/include/binaries/efi/
H A Defi.h75 extern void *__application_handle;

Completed in 25 milliseconds