Files
codezero/include/l4/generic/platform.h
Bahadir Balban 6fa4884a5a Changes since April
Clean up of build directories.
Simplifications to capability model.
2010-06-01 15:08:13 +03:00

51 lines
976 B
C

#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__ */