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