void lnaddr_write(lnaddr_t addr, size_t len, uint32_t data) { #ifdef PAGING if (cpu.cr0.protect_enable && cpu.cr0.paging) addr = page_translate(addr); #endif hwaddr_write(addr, len, data); }
int cmd_page(char *args){ lnaddr_t addr; sscanf(args, "%x", &addr); uint32_t hwaddr = page_translate(addr, 4); printf("hwaddr:\t 0x%x \n", hwaddr); return 0; }
uint32_t lnaddr_read(lnaddr_t addr, size_t len) { #ifdef PAGING if (cpu.cr0.protect_enable && cpu.cr0.paging) addr = page_translate(addr); #endif return hwaddr_read(addr, len); }