#define grub_uint64_t uint64_t
#define grub_uint32_t uint32_t
#define grub_uint16_t uint16_t
#define grub_uint64_t uint64_t
#define grub_uint32_t uint32_t
#define grub_uint16_t uint16_t
grub_uint32_t image_sector_size;
/* disk sector size, normally the value is 512 */
grub_uint32_t image_sector_size;
/* disk sector size, normally the value is 512 */
extern char *g_cmdline_copy;
extern void *g_initrd_addr;
extern size_t g_initrd_len;
extern char *g_cmdline_copy;
extern void *g_initrd_addr;
extern size_t g_initrd_len;