eOS/kernel/paging.c

#include "paging.h"
#include "../drivers/vga.h"

void enable_paging() {
	println("Enabling paging...", DEFAULT_COLOR);

	extern void enable_paging_registers(); // Call the assembly SR
	enable_paging_registers();

	return;
}

// Page Entry struct
struct page_entry {
	unsigned int index;
	unsigned int start_addr;
} page_table[PAGE_TABLE_SIZE];

int get_phys_addr(int virt_addr) {
	int index = virt_addr / PAGE_SIZE; // page index for the virtual address
	int offset = virt_addr % PAGE_SIZE; // actual physical offset for the address

	return page_table[index].start_addr + offset;
}