Searched refs:old_cr3 (Results 1 – 1 of 1) sorted by relevance
253 uint64_t old_cr3 = x86_64_pre_sleep(); in acpi_sleep_kernel() local271 x86_64_post_sleep(old_cr3); in acpi_sleep_kernel()