_riscv_pte_get
l3 = _riscv_pte_get(kd, l3_index);
riscv_pt_entry_t pte = _riscv_pte_get(kd, pteindex);