> > The efi page fault handler will check if the access is by > > efi_reset_system(). > > 1. If so, then the efi page fault handler will reboot the machine > > through BIOS and not through efi_reset_system(). > > 2. If not, then the efi page fault handler will freeze efi_rts_wq and > > schedules a new process. > > > > Thanks Sai! I am pretty happy how this patch set turned out. It still requires the > blessing of the x86 maintainers, of course, but from my pov, this is good to go > (but I will fold patch #3 into #2) Hopefully, patch #3 goes away too.. in V5. Regards, Sai