#ifndef __PLATFORM_H__
#define __PLATFORM_H__
/*
 * Generic functions to be provided by every platform.
 *
 * Include only those API's that are needed by sources
 * outside the src/platform code.
 */

#include <l4/generic/resource.h>

void platform_init(void);

/* IRQ controller */
void irq_controller_init(void);
void platform_irq_enable(int irq);
void platform_irq_disable(int irq);

#define	dprintk(str, val)		\
{					\
	print_early(str);		\
	printhex8((val));		\
	print_early("\n");		\
}

void print_early(char *str);
void printhex8(unsigned int);

void platform_test_cpucycles(void);

enum mem_type {
	MEM_TYPE_RAM = 0,
	MEM_TYPE_DEV = 1,
};

struct platform_mem_range {
	unsigned long start;
	unsigned long end;
	unsigned int type;
};

struct platform_mem_regions {
	int nregions;
	struct platform_mem_range mem_range[];
};

/* Kernel uses this to initialize physmem capabilities */
extern struct platform_mem_regions platform_mem_regions;

#endif /* __PLATFORM_H__ */