On 6/11/23 07:58, Richard Henderson wrote:
Signed-off-by: Richard Henderson <[email protected]> --- system/cpu-timers.c | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-)
Reviewed-by: Philippe Mathieu-Daudé <[email protected]> Tested-by: Philippe Mathieu-Daudé <[email protected]>
