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."