VA_SIGN_MASK
#define VA_SIGN_NEG(va) ((va) | VA_SIGN_MASK)
#define VA_SIGN_POS(va) ((va) & ~VA_SIGN_MASK)
#define VA_SIGN_NEG(va) ((va) | VA_SIGN_MASK)
#define VA_SIGN_NEG(va) ((va) | VA_SIGN_MASK)
#define VA_SIGN_POS(va) ((va) & ~VA_SIGN_MASK)
return (paddr_t) (((*up_pte) & PTE_FRAME) + (((vaddr_t) pte) & (~PTE_FRAME & ~VA_SIGN_MASK)));