tcg/tci: Inline tci_write_reg32 into all callers
authorRichard Henderson <richard.henderson@linaro.org>
Thu, 28 Jan 2021 05:31:49 +0000 (19:31 -1000)
committerRichard Henderson <richard.henderson@linaro.org>
Fri, 5 Feb 2021 20:24:14 +0000 (10:24 -1000)
commit85bbbf7088dae27a110d6669801694af127c5158
treeed01d7f31c64bf3f0f90bea0cf095491780d8dba
parent43c8a4027953b170f718bb8507f2494f8279c24c
tcg/tci: Inline tci_write_reg32 into all callers

For a 64-bit TCI, the upper bits of a 32-bit operation are
undefined (much like a native ppc64 32-bit operation).  It
simplifies everything if we don't force-extend the result.

Tested-by: Alex Bennée <alex.bennee@linaro.org>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
tcg/tci.c