/* Convert UINT64 data to big-endian for aligned with the FDT blob */
UINT64 EFIAPI CpuToFdt64(IN UINT64 Value)
/* Convert UINT64 data to big-endian for aligned with the FDT blob */
UINT64 EFIAPI CpuToFdt64(IN UINT64 Value)
{
  return cpu_to_fdt64 (Value);
}