Searched refs:oldcr3 (Results 1 – 1 of 1) sorted by relevance
212 uint64_t oldcr3 = get_cr3_raw(); in x86_64_pre_sleep() local214 return oldcr3; in x86_64_pre_sleep()