Linux Kernel
3.7.1
|
#include "ops.h"
#include "stdio.h"
#include "planetcore.h"
#include "dcr.h"
#include "4xx.h"
#include "io.h"
Go to the source code of this file.
Functions | |
void | platform_init (unsigned long r3, unsigned long r4, unsigned long r5, unsigned long r6, unsigned long r7) |