> Why is this the only reference that needs an annotation? In the function efi_runtime_services_init(), the if check on efi_rts_work.efi_rts_id in line 728 uses READ_ONCE(), and the comment explains that this is to reduce reports from KTSAN. I propose that the check in line 754 undergoes a similar treatment for consistency and to potentially reduce sanitizer reports. Thank you.
