Searched refs:EFI_TENTH (Results 1 – 1 of 1) sorted by relevance
132 #define EFI_TENTH 0x199999999999999A macro139 ret = EFI_HIGH32(a) * EFI_HIGH32(EFI_TENTH); in efi_div10()140 prod = EFI_HIGH32(a) * EFI_LOW32(EFI_TENTH); in efi_div10()143 prod = EFI_LOW32(a) * EFI_HIGH32(EFI_TENTH); in efi_div10()146 prod = EFI_LOW32(a) * EFI_LOW32(EFI_TENTH); in efi_div10()