In the function cpu_get_phys_page_debug()(In the file target-i386/helper.c): I find the following codes: ==================== page_offset = (addr & TARGET_PAGE_MASK) & (page_size - 1); paddr = (pte & TARGET_PAGE_MASK) + page_offset; ====================
The page_offset is always 4K aligned. I think the offset should be the offset in the page, so it should not be aligned. Who can tell me the reason? Thanks Wen Congyang