Monitor interface for debug_addr_pid
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 5 Jan 2015 21:20:18 +0000 (16:20 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 5 Jan 2015 21:20:18 +0000 (16:20 -0500)
commitc20e433fb9355d91dd5bd81b2b20cebe74526ffa
tree9819a0358eb40f6da964cd6b990074de3c3b9489
parentca81280918ccb3d63da1d739f90619e193565e25
Monitor interface for debug_addr_pid

db addr PID 0xADDR

It'll print out info for that process's address.  Specifically, if the addr
belongs to a file-backed VMR, it'll print the filename and offset of that
address within the file.

Don't forget you can access the monitor from userspace with the script "m".

$ m db addr 1 0xWHATEVER
kern/src/monitor.c