PDTE_PADDR
if (PDTE_PADDR(pdte) != paddr) {
PDTE_PADDR(pdte), paddr);
if (PDTE_PADDR(pdte) != next->hwpg_paddr) {
PDTE_PADDR(pdte), next->hwpg_paddr);
(unsigned long long)pte, (unsigned long long)PDTE_PADDR(pte));
if (PDTE_PADDR(pte) != paddr) {
PDTE_PADDR(pte), paddr);
ASSERT(PDTE_PADDR(pde) == next->hwpg_paddr);
PDTE_PADDR(paddr & ~MMU_PAGEOFFSET) | rwmask;
PDTE_PADDR(paddr) | rwmask;
#define PDTE_SET_PADDR(hw_pdte, paddr) ((hw_pdte) |= PDTE_PADDR(paddr))