Searched refs:new_cr3 (Results 1 – 2 of 2) sorted by relevance
122 void x86_64_post_sleep(uint64_t new_cr3);
218 x86_64_post_sleep(uint64_t new_cr3) in x86_64_post_sleep() argument221 set_cr3_raw((uint32_t) new_cr3); in x86_64_post_sleep()