Comment 4 for bug 1967130

Revision history for this message
Heinrich Schuchardt (xypron) wrote :

efi: Make efi_rts_work accessible to efi page fault handler
https://<email address hidden>/T/#mcbd236122ec0ae61f1ee9c22b8d7910ffc2276a0
addressed a similar issue on x86.