/* Verify the header of the Flattened Device Tree */
INT32 EFIAPI FdtCheckHeader(IN CONST VOID *Fdt)
/* Verify the header of the Flattened Device Tree */
INT32 EFIAPI FdtCheckHeader(IN CONST VOID *Fdt)
{
  return fdt_check_header (Fdt);
}