/* Convert UINT32 data to big-endian for aligned with the FDT blob */
UINT32 EFIAPI CpuToFdt32(IN UINT32 Value)
/* Convert UINT32 data to big-endian for aligned with the FDT blob */
UINT32 EFIAPI CpuToFdt32(IN UINT32 Value)
{
  return cpu_to_fdt32 (Value);
}