fix vmem 32bit -> 64bit

Author: tas0dev

src/kernel/interrupt/idt.c

@@ -81,7 +81,24 @@ static void idt_set_gate(int n, uint64_t handler) {
 void irq_handler_c(uint32_t vec) {
 	if (vec >= 32 && vec < 32 + 16) {
 		uint32_t irq = vec - 32;
-		// ベクタ番号をそのまま渡す（interrupt_registerもベクタ番号で登録される）
+
+		// タイマー割り込み(IRQ 0 = vec 32)は直接ハンドラを呼んでからスケジューリング
+		if (vec == 32) {
+			// 登録されたタイマーハンドラを呼ぶ（timer_ticksをインクリメント）
+			extern void uefi_timer_tick(uint32_t, void *);
+			uefi_timer_tick(0, NULL);
+
+			// スケジューリングを実行
+			extern void task_schedule(void);
+			task_schedule();
+
+			if (irq >= 8)
+				outb(PIC2_COMMAND, 0x20);
+			outb(PIC1_COMMAND, 0x20);
+			return;
+		}
+
+		// その他の割り込みはFIFO経由で処理
 		interrupt_raise((vec << 16) | 0u);
 
 		if (irq >= 8)

src/kernel/mem/paging.c

@@ -31,9 +31,14 @@ void *alloc_page_table(void) {
 		       (unsigned)phys);
 		return NULL;
 	}
-	uint32_t *tbl = (uint32_t *)(uintptr_t)virt;
+	printk("alloc_page_table: clearing table at virt=0x%x (phys=0x%x)\n", (unsigned)virt, (unsigned)phys);
+	// ページングが有効化されていない場合、virtはphysと同じ（アイデンティティ）
+	// しかし、physが1MBを超える場合、アクセスできない可能性がある
+	// 安全のため、物理アドレスで直接アクセス
+	uint32_t *tbl_phys = (uint32_t *)(uintptr_t)phys;
 	for (size_t i = 0; i < 1024; ++i)
-		tbl[i] = 0;
+		tbl_phys[i] = 0;
+	printk("alloc_page_table: table cleared\n");
 	// return the virtual pointer for convenience to callers
 	return (void *)(uintptr_t)virt;
 }
@@ -58,8 +63,10 @@ int map_page(uint32_t phys, uint32_t virt, uint32_t flags) {
 			       (unsigned)pd_idx);
 			return -1;
 		}
+		printk("map_page: new_pt_virt=0x%x, converting to phys\n", (unsigned)(uintptr_t)new_pt_virt);
 		uint32_t new_pt_phys =
 			vmem_virt_to_phys((uint32_t)(uintptr_t)new_pt_virt);
+		printk("map_page: new_pt_phys=0x%x\n", (unsigned)new_pt_phys);
 		if (new_pt_phys == 0) {
 			printk("map_page: vmem_virt_to_phys returned 0 for new_pt_virt=0x%x\n",
 			       (unsigned)(uintptr_t)new_pt_virt);
@@ -195,24 +202,22 @@ void page_fault_handler_ex(uint32_t vec, uint32_t error_code, uint32_t eip) {
  * @brief ページングを有効化
  */
 void paging_enable(void) {
-	// CR3をロード
-	uint32_t pd_phys =
-		vmem_virt_to_phys((uint32_t)(uintptr_t)page_directory);
-	if (pd_phys == 0) {
-		printk("paging_enable: vmem_virt_to_phys returned 0 for page_directory! skipping paging enable\n");
-		return;
-	}
-	if (pd_phys & 0xFFF) {
-		printk("paging_enable: pd_phys 0x%x not 4KB aligned! skipping\n",
-		       (unsigned)pd_phys);
-		return;
-	}
-	asm volatile("mov %0, %%cr3" ::"r"((uint64_t)pd_phys));
-	// CR0のPGビットを有効化
-	uint64_t cr0;
+	// 現在のページング状態を確認
+	uint64_t cr0, cr3, cr4;
 	asm volatile("mov %%cr0, %0" : "=r"(cr0));
-	cr0 |= 0x80000000u; // PGビットをセット
-	asm volatile("mov %0, %%cr0" ::"r"(cr0));
+	asm volatile("mov %%cr3, %0" : "=r"(cr3));
+	asm volatile("mov %%cr4, %0" : "=r"(cr4));
+	printk("paging_enable: Current CR0=0x%lx CR3=0x%lx CR4=0x%lx\n",
+	       (unsigned long)cr0, (unsigned long)cr3, (unsigned long)cr4);
+	printk("paging_enable: PG bit=%d, PAE bit=%d\n",
+	       (int)((cr0 >> 31) & 1), (int)((cr4 >> 5) & 1));
+	
+	// 注意: x86-64ロングモードでは、UEFIがすでに64ビットページングを設定しています。
+	// 現在の32ビットページング構造（2レベル: PD→PT）は互換性がありません。
+	// 64ビットモードでは4レベル（PML4→PDPT→PD→PT）構造が必要です。
+	// そのため、UEFIが設定したページテーブルをそのまま使用します。
+	printk("paging_enable: Skipping custom paging setup (using UEFI page tables)\n");
+	printk("paging_enable: WARNING - 32-bit paging structures are incompatible with x86-64 long mode\n");
 }
 
 void page_fault_handler(uint32_t vec) {

src/kernel/mem/vmem.c

@@ -38,7 +38,7 @@ uint32_t vmem_virt_to_phys(uint32_t virt) {
 	uint64_t cr3;
 	asm volatile("mov %%cr3, %0" : "=r"(cr3));
 	uint32_t pd_phys = cr3 & 0xFFFFF000;
-	uint32_t pd_virt = phys2virt(pd_phys);
+	uint32_t pd_virt = (phys2virt ? phys2virt(pd_phys) : default_phys2virt(pd_phys));
 	if (pd_virt == 0) {
 		printk("vmem_virt_to_phys: phys2virt returned 0 for pd_phys=0x%x\n",
 		       (unsigned)pd_phys);
@@ -68,7 +68,7 @@ uint32_t vmem_virt_to_phys(uint32_t virt) {
 	}
 
 	uint32_t pt_phys = pde & 0xFFFFF000;
-	uint32_t pt_virt = phys2virt(pt_phys);
+	uint32_t pt_virt = (phys2virt ? phys2virt(pt_phys) : default_phys2virt(pt_phys));
 	if (pt_virt == 0) {
 		printk("vmem_virt_to_phys: phys2virt returned 0 for pt_phys=0x%x\n",
 		       (unsigned)pt_phys);