-extern uint8_t __kernel_start;
-extern uint8_t __kernel_end;
-extern uint8_t __init_hhk_end;
-extern uint8_t _k_stack;
-
-void
-_init_page(ptd_t* ptd) {
- SET_PDE(ptd, 0, NEW_L1_ENTRY(PG_PRESENT, ptd + PG_MAX_ENTRIES))
-
- // 对低1MiB空间进行对等映射(Identity mapping),也包括了我们的VGA,方便内核操作。
- for (uint32_t i = 0; i < 256; i++)
- {
- SET_PTE(ptd, PG_TABLE_IDENTITY, i, NEW_L2_ENTRY(PG_PREM_RW, (i << PG_SIZE_BITS)))
+extern u8_t __kernel_start;
+extern u8_t __kernel_end;
+extern u8_t __init_hhk_end;
+extern u8_t _k_stack;
+
+void
+_init_page(ptd_t* ptd)
+{
+ SET_PDE(ptd, 0, NEW_L1_ENTRY(PG_PREM_RW, ptd + PG_MAX_ENTRIES))
+
+ // 对低1MiB空间进行对等映射(Identity
+ // mapping),也包括了我们的VGA,方便内核操作。
+ for (u32_t i = 0; i < 256; i++) {
+ SET_PTE(ptd,
+ PG_TABLE_IDENTITY,
+ i,
+ NEW_L2_ENTRY(PG_PREM_RW, (i << PG_SIZE_BITS)))