Subversion Repositories c0or1k

#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);

int platform_setup_device_caps(struct kernel_resources *kres);

void platform_test_cpucycles(void);

#endif /* __PLATFORM_H__ */