blob: 139572bb4e3f933e75c9ce000b051f9154f62a3d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
/******************************************************************************
* Copyright (c) 2004, 2008 IBM Corporation
* All rights reserved.
* This program and the accompanying materials
* are made available under the terms of the BSD License
* which accompanies this distribution, and is available at
* http://www.opensource.org/licenses/bsd-license.php
*
* Contributors:
* IBM Corporation - initial implementation
*****************************************************************************/
#include <stdint.h>
#include <string.h>
#include <stdlib.h> /* malloc */
#include <of.h>
#include <pci.h>
#include <kernel.h>
#include <cpu.h>
#include <fileio.h>
/* Application entry point .*/
extern int _start(unsigned char *arg_string, long len);
extern int main(int, char**);
int _start_kernel(unsigned long p0, unsigned long p1);
void * malloc_aligned(size_t size, int align);
unsigned long exception_stack_frame;
snk_fileio_t fd_array[FILEIO_MAX];
extern uint64_t tb_freq;
extern char __client_start;
extern char __client_end;
void * malloc_aligned(size_t size, int align)
{
unsigned long p = (unsigned long) malloc(size + align - 1);
p = p + align - 1;
p = p & ~(align - 1);
return (void *) p;
}
int _start_kernel(unsigned long p0, unsigned long p1)
{
int rc;
unsigned int timebase;
/* initialize all file descriptor by marking them as empty */
for(rc=0; rc<FILEIO_MAX; ++rc)
fd_array[rc].type = FILEIO_TYPE_EMPTY;
/* this is step is e.g. responsible to initialize file descriptor 0 and 1 for STDIO */
rc = of_glue_init(&timebase, (size_t)(unsigned long)&__client_start,
(size_t)(unsigned long)&__client_end - (size_t)(unsigned long)&__client_start);
if(rc < 0)
return -1;
tb_freq = (uint64_t) timebase;
rc = _start((unsigned char *) p0, p1);
of_glue_release();
return rc;
}
|
