BVK Chaitanya

%top{

/*
 * Some flex hacks for -nostdinc; XXX We need to fix these when libc
 * support becomes availble in GRUB.
 */

#include <grub/types.h>

typedef grub_size_t size_t;
typedef grub_size_t yy_size_t;
#define YY_TYPEDEF_YY_SIZE_T 1

#define FILE   void
#define stdin  0
#define stdout 0
#define EOF    0

#define errno  grub_errno
#define EINVAL GRUB_ERR_BAD_NUMBER
#define ENOMEM GRUB_ERR_OUT_OF_MEMORY

#define strlen grub_strlen
#define memset grub_memset

#define fprintf(...) 0
#define exit(...)

#pragma GCC diagnostic warning "-Wunused-function"
#pragma GCC diagnostic warning "-Wunused-parameter"

}