You don't need "virtual" here.

This comment probably could go in /* */s. If you want to stick with //s, please get rid of the blank lines that are commented.

I really want one of the folks that knows the memory system better (Steve, Ali, Nate) to comment on whether this is right. I'm worried that by only broadcasting its address range only at init it won't go out at all sometimes (checkpoint restore?) or somebody will miss somebody else's status change.

I think this is correct. It should be fine, but checking with the chekpoint verifier script would be good before committing.