Lines Matching refs:vteval
328 uint64_t vteval; in get_vte() local
336 vteval = address_space_ldq_le(as, entry_addr, MEMTXATTRS_UNSPECIFIED, &res); in get_vte()
341 vte->valid = FIELD_EX64(vteval, VTE, VALID); in get_vte()
342 vte->vptsize = FIELD_EX64(vteval, VTE, VPTSIZE); in get_vte()
343 vte->vptaddr = FIELD_EX64(vteval, VTE, VPTADDR); in get_vte()
344 vte->rdbase = FIELD_EX64(vteval, VTE, RDBASE); in get_vte()
941 uint64_t vteval = 0; in update_vte() local
948 vteval = FIELD_DP64(vteval, VTE, VALID, 1); in update_vte()
949 vteval = FIELD_DP64(vteval, VTE, VPTSIZE, vte->vptsize); in update_vte()
950 vteval = FIELD_DP64(vteval, VTE, VPTADDR, vte->vptaddr); in update_vte()
951 vteval = FIELD_DP64(vteval, VTE, RDBASE, vte->rdbase); in update_vte()
962 address_space_stq_le(as, entry_addr, vteval, MEMTXATTRS_UNSPECIFIED, &res); in update_vte()