On March 23, 2023 7:28:38 PM GMT+01:00, Tom Lendacky <thomas.lendacky@xxxxxxx> wrote: > >I agree. But once it's there, someone somewhere in the future may look and go, oh, I can call this. So I think it either needs a nice comment above it about how it is currently used/called and what to do if it needs to be called from someplace other than head_64.S or the MSR needs to be saved/restored. Or it could be __init and get discarded when the system is up. -- Sent from a small device: formatting sucks and brevity is inevitable.
