Page MenuHomeFreeBSD

Restore x18 in efi_arch_leave
ClosedPublic

Authored by andrew on May 1 2019, 4:04 PM.
Tags
None
Referenced Files
Unknown Object (File)
Sat, Dec 20, 7:03 PM
Unknown Object (File)
Sat, Dec 20, 7:08 AM
Unknown Object (File)
Thu, Dec 11, 6:02 AM
Unknown Object (File)
Wed, Dec 10, 1:46 PM
Unknown Object (File)
Sun, Nov 30, 10:11 PM
Unknown Object (File)
Nov 29 2025, 1:08 AM
Unknown Object (File)
Nov 29 2025, 12:16 AM
Unknown Object (File)
Nov 28 2025, 5:44 AM
Subscribers

Details

Summary

Some UEFI implementations trash this register and, as we use it as
a platform register, the kernel doesn't save it before calling into
the UEFI runtime services. As we have a copy in tpidr_el1 restore from
there when exiting the EFI environment.

Diff Detail

Repository
rS FreeBSD src repository - subversion
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

Move loading x18 before we use it.

Also :

Tested On: Ampere eMAG

This revision is now accepted and ready to land.May 1 2019, 4:31 PM

Should we add a Sponsored by: Ampere Computing (hardware)?

(And Andy's Sponsored-by, of course)

This revision was automatically updated to reflect the committed changes.