19 |
#include "i386-segment.h" |
#include "i386-segment.h" |
20 |
#include "i386-trap.h" |
#include "i386-trap.h" |
21 |
#include "pc-multiboot.h" |
#include "pc-multiboot.h" |
22 |
|
#include <rtmk/host-info.h> |
23 |
|
|
24 |
/* expr NCPUS */ |
/* expr NCPUS */ |
25 |
expr KERNEL_STACK_SIZE |
expr KERNEL_STACK_SIZE |
30 |
offset thread th swap_fn |
offset thread th swap_fn |
31 |
offset thread th bound_processor |
offset thread th bound_processor |
32 |
|
|
33 |
|
offset host_info_processor hip cpu_type |
34 |
|
offset host_info_processor hip cpu_subtype |
35 |
|
offset host_info_processor hip clock_freq |
36 |
|
|
37 |
sizeof kernel_state IKS |
sizeof kernel_state IKS |
38 |
sizeof exception_link IEL |
sizeof exception_link IEL |
39 |
sizeof multiboot_info MULTIBOOT |
sizeof multiboot_info MULTIBOOT |