/* PA of last physical page for this domain */ /* PA of last physical page for this domain */