On Mon, Jun 11, 2018 at 13:56:32 +0100, Peter Maydell wrote: > typedef struct CPUIOTLBEntry { > + /* > + * @addr contains: > + * - in the lower TARGET_PAGE_BITS, a physical section number > + * - with the lower TARGET_PAGE_BITS masked off, an offset which > + * must be added to the virtual address to obtain: > + * + the ramaddr_t of the target RAM (if the physical section
s/ramaddr_t/ram_addr_t/ ? Also in cputlb.c: > + * TARGET_PAGE_BITS, and either > + * + the ramaddr_t of the page base of the target RAM (if NOTDIRTY or > ROM) Thanks, Emilio