Re: [PATCH v4 10/12] RISC-V: User WRITE_ONCE instead of direct access
From: Andreas Schwab
Date: Tue Sep 11 2018 - 16:33:03 EST
s/User/Use/
Andreas.
--
Andreas Schwab, schwab@xxxxxxxxxxxxxx
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1
"And now for something completely different."