_aarch64_pte_get
l3 = _aarch64_pte_get(kd, l3_index);
aarch64_pte_t pte = _aarch64_pte_get(kd, pteindex);