create_pte_mapping
create_pte_mapping(ptep, va, pa, sz, prot);
create_pte_mapping(__nextp, __va, __pa, __sz, __prot)