Did you mean (for openbmc):__efi_thunk
Your search defs:__efi64_thunk did not match any files. Suggestions: