Searched defs:old_high (Results 1 – 1 of 1) sorted by relevance
731 uint64_t new_high, new_low, old_high, old_low; in pmap_di_load_invl() local757 uint64_t new_high, new_low, old_high, old_low; in pmap_di_store_invl() local