#ifndef GRUB_DISKNET_HEADER
#define GRUB_DISKNET_HEADER	1
  void grub_disknet_init(void);
  void grub_disknet_fini(void);
#endif /* ! GRUB_NET_HEADER */