.so man3ext/efi_alloc_and_init.3ext