PTE_RPN_FROM_PA
*pte = PTE_RPN_FROM_PA(pa) | flags;
pte_tmp = PTE_RPN_FROM_PA(VM_PAGE_TO_PHYS(m));
*pte = PTE_RPN_FROM_PA(kernload + (va - kernstart));
*pte = PTE_RPN_FROM_PA(paddr) | flags;
pte_tmp = PTE_RPN_FROM_PA(VM_PAGE_TO_PHYS(m));
*pte = PTE_RPN_FROM_PA(kernload + (va - kernstart));