Subversion Repositories HelenOS

Rev

Rev 2745 | Rev 3061 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2745 Rev 2746
Line 55... Line 55...
55 
#include <time/clock.h>
 55 
#include <time/clock.h>
56 
#include <time/timeout.h>
 56 
#include <time/timeout.h>
57 
#include <proc/scheduler.h>
 57 
#include <proc/scheduler.h>
58 
#include <proc/thread.h>
 58 
#include <proc/thread.h>
59 
#include <proc/task.h>
 59 
#include <proc/task.h>
- 
 
 60 
#include <proc/tasklet.h>
60 
#include <main/kinit.h>
 61 
#include <main/kinit.h>
61 
#include <main/version.h>
 62 
#include <main/version.h>
62 
#include <console/kconsole.h>
 63 
#include <console/kconsole.h>
63 
#include <cpu.h>
 64 
#include <cpu.h>
64 
#include <align.h>
 65 
#include <align.h>
Line 100... Line 101...
100 
/*
 101 
/*
101 
 * These 'hardcoded' variables will be intialized by
 102 
 * These 'hardcoded' variables will be intialized by
102 
 * the linker or the low level assembler code with
 103 
 * the linker or the low level assembler code with
103 
 * appropriate sizes and addresses.
 104 
 * appropriate sizes and addresses.
104 
 */
 105 
 */
- 
 
 106 
 
105 
uintptr_t hardcoded_load_address = 0;   /**< Virtual address of where the kernel
 107 
/**< Virtual address of where the kernel is loaded. */
106 
                      *  is loaded. */
 108 
uintptr_t hardcoded_load_address = 0;
107 
size_t hardcoded_ktext_size = 0;    /**< Size of the kernel code in bytes.
 109 
/**< Size of the kernel code in bytes. */
108 
                      */
 110 
size_t hardcoded_ktext_size = 0;
109 
size_t hardcoded_kdata_size = 0;    /**< Size of the kernel data in bytes.
 111 
/**< Size of the kernel data in bytes. */
110 
                     */
 112 
size_t hardcoded_kdata_size = 0;
111 
uintptr_t stack_safe = 0;       /**< Lowest safe stack virtual address.
 113 
/**< Lowest safe stack virtual address. */
112 
                      */
 114 
uintptr_t stack_safe = 0;      
113 
 
 115 
 
114 
void main_bsp(void);
 116 
void main_bsp(void);
115 
void main_ap(void);
 117 
void main_ap(void);
116 
 
 118 
 
117 
/*
 119 
/*
Line 213... Line 215...
213 
    btree_init();
 215 
    btree_init();
214 
    as_init();
 216 
    as_init();
215 
    page_init();
 217 
    page_init();
216 
    tlb_init();
 218 
    tlb_init();
217 
    ddi_init();
 219 
    ddi_init();
- 
 
 220 
    tasklet_init();
218 
    arch_post_mm_init();
 221 
    arch_post_mm_init();
219 
   
 222 
   
220 
    version_print();
 223 
    version_print();
221 
    printf("kernel: %.*p hardcoded_ktext_size=%zd KB, "
 224 
    printf("kernel: %.*p hardcoded_ktext_size=%zd KB, "
222 
        "hardcoded_kdata_size=%zd KB\n", sizeof(uintptr_t) * 2,
 225 
        "hardcoded_kdata_size=%zd KB\n", sizeof(uintptr_t) * 2,