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

/seL4-test-master/tools/seL4/elfloader-tool/src/binaries/efi/
H A Defi_init.c28 for (uint32_t i = 0; i < __efi_system_table->nr_tables; i++) {
/seL4-test-master/tools/seL4/elfloader-tool/include/binaries/efi/
H A Defi.h70 uint32_t nr_tables; member in struct:__anon124

Completed in 80 milliseconds