58 	int ret = entry_count++ == 0;  in __efi_entry_check()  local
64 	return ret;  in __efi_entry_check()
70 	int ret = --entry_count == 0;  in __efi_exit_check()  local
74 	return ret;  in __efi_exit_check()
137 	u64 ret;  in efi_div10()  local
139 	ret  = EFI_HIGH32(a) * EFI_HIGH32(EFI_TENTH);  in efi_div10()
142 	ret += EFI_HIGH32(prod);  in efi_div10()
145 	ret += EFI_HIGH32(prod);  in efi_div10()
148 	ret += EFI_HIGH32(rem);  in efi_div10()
151 		++ret;  in efi_div10()
152 	return ret;  in efi_div10()