I386_PAGE_MASK
offset = va & I386_PAGE_MASK;
offset = va & I386_PAGE_MASK;
return (I386_PAGE_SIZE - (pa & I386_PAGE_MASK));
return (I386_PAGE_SIZE - (pa & I386_PAGE_MASK));
_Static_assert(PAGE_MASK == I386_PAGE_MASK, "PAGE_MASK mismatch");
offset = va & I386_PAGE_MASK;
offset = va & I386_PAGE_MASK;