Searched refs:boottime (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/tools/seL4/elfloader-tool/src/binaries/efi/
H A Defi_utils.c21 return ((efi_boot_services_t *)(__efi_system_table->boottime));
/seL4-test-master/tools/seL4/elfloader-tool/include/binaries/efi/
H A Defi.h69 void *boottime; member in struct:__anon124

Completed in 76 milliseconds