#ifndef __SYSTEM_H
#define __SYSTEM_H

/* this is the device number for the console device, do not change */
#define CON_DEV 0x0009

#define NULL	((void*) 0)
#define CON_LEN 132
#define HEAP_START 0x800000

#define INF __builtin_inff()
#define NAN __builtin_nanf("")

typedef unsigned long long size_t;
typedef unsigned long long intptr_t;

typedef unsigned long long u64;
typedef signed long long s64;

typedef unsigned int u32;
typedef signed int s32;

typedef unsigned short u16;
typedef signed short s16;

typedef unsigned char u8;
typedef signed char s8;

#ifdef __cplusplus
extern "C" {
#endif
	extern void init_io_int(void);
	extern void init_console(void);

	extern int putline(char *buf, int len);
	extern int getline(char *buf, int len);

	extern u32 find_dev(int devnum);

	extern int fba_read_blk(u32 dev, u32 blkno, void *ptr);
	extern int fba_write_blk(u32 dev, u32 blkno, void *ptr);

#ifdef __cplusplus
}
#endif

#endif