diff --git a/sys/amd64/acpica/acpi_switch.S b/sys/amd64/acpica/acpi_switch.S index 2b2887bfb31c..fbe40972c3fb 100644 --- a/sys/amd64/acpica/acpi_switch.S +++ b/sys/amd64/acpica/acpi_switch.S @@ -38,8 +38,7 @@ ENTRY(acpi_restorecpu) /* Switch to KPML4phys. */ - movq %rdi, %rax - movq %rax, %cr3 + movq %rdi, %cr3 /* Restore GDT. */ lgdt WAKEUP_CTX(gdt)