Well, actually, right now this can be either a page # or an address. How about we switch to always giving an address, and if it's a page-granular event, we internally do >>= 12 to get the page #?