« Previous | Next » 

Revision 41c1b1c9

ID41c1b1c9ebb45b97795fa9e58eaa6fedc4eafe0e

Added by Paul Brook about 12 years ago

Add tb_page_addr_t

The page tracking code in exec.c is used by both userspace and system
emulation. Userspace emulation uses it to track virtual pages, and
system emulation to track ram pages. Introduce a new type to hold this
kind of address.

Signed-off-by: Paul Brook <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences