Rev 2982 | Rev 2989 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2982 | Rev 2988 | ||
---|---|---|---|
Line 31... | Line 31... | ||
31 | */ |
31 | */ |
32 | 32 | ||
33 | #ifndef ILOADER_PCB_H_ |
33 | #ifndef ILOADER_PCB_H_ |
34 | #define ILOADER_PCB_H_ |
34 | #define ILOADER_PCB_H_ |
35 | 35 | ||
36 | #define PCB_ADDRESS 0x6000000 |
36 | #include <arch/pcb.h> |
37 | 37 | ||
38 | typedef void (*entry_point_t)(void); |
38 | typedef void (*entry_point_t)(void); |
39 | 39 | ||
40 | /** |
40 | /** |
41 | * Holds pointers to data passed from the program loader to the program |
41 | * Holds pointers to data passed from the program loader to the program |