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

/seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/efi/
H A Defi_init.c69 bts->free_pool(memory_map);
76 bts->free_pool(memory_map);
/seL4-refos-master/tools/elfloader/src/binaries/efi/
H A Defi_init.c69 bts->free_pool(memory_map);
76 bts->free_pool(memory_map);
/seL4-refos-master/seL4_tools/elfloader-tool/include/binaries/efi/
H A Defi.h131 unsigned long (*free_pool)(void *); member in struct:__anon192
/seL4-refos-master/tools/elfloader/include/binaries/efi/
H A Defi.h131 unsigned long (*free_pool)(void *); member in struct:__anon208

Completed in 26 milliseconds