Searched refs:EFI_HIGH32 (Results 1 – 1 of 1) sorted by relevance
125 #define EFI_HIGH32(a) (a >> 32) macro139 ret = EFI_HIGH32(a) * EFI_HIGH32(EFI_TENTH); in efi_div10()140 prod = EFI_HIGH32(a) * EFI_LOW32(EFI_TENTH); in efi_div10()142 ret += EFI_HIGH32(prod); in efi_div10()143 prod = EFI_LOW32(a) * EFI_HIGH32(EFI_TENTH); in efi_div10()145 ret += EFI_HIGH32(prod); in efi_div10()147 rem += EFI_HIGH32(prod); in efi_div10()148 ret += EFI_HIGH32(rem); in efi_div10()