Re: [PATCH 02/24] exec/cpu-defs: Remove unnecessary headers

2024-11-14 Thread Richard Henderson
On 11/13/24 17:12, Philippe Mathieu-Daudé wrote: "exec/cpu-defs.h" should be kept as minimal as possible; besides these includes don't seem necessay. Remove them. Signed-off-by: Philippe Mathieu-Daudé --- include/exec/cpu-defs.h | 8 1 file changed, 8 deletions(-) Reviewed-by: Ric

Re: [PATCH 02/24] exec/cpu-defs: Remove unnecessary headers

2024-11-14 Thread Thomas Huth
On 14/11/2024 02.12, Philippe Mathieu-Daudé wrote: "exec/cpu-defs.h" should be kept as minimal as possible; besides these includes don't seem necessay. Remove them. s/necessay/necessary/ diff --git a/include/exec/cpu-defs.h b/include/exec/cpu-defs.h --- a/include/exec/cpu-defs.h +++ b/include

Re: [PATCH 02/24] exec/cpu-defs: Remove unnecessary headers

2024-11-13 Thread Pierrick Bouvier
On 11/13/24 17:12, Philippe Mathieu-Daudé wrote: "exec/cpu-defs.h" should be kept as minimal as possible; besides these includes don't seem necessay. Remove them. Signed-off-by: Philippe Mathieu-Daudé --- include/exec/cpu-defs.h | 8 1 file changed, 8 deletions(-) diff --git a/in

[PATCH 02/24] exec/cpu-defs: Remove unnecessary headers

2024-11-13 Thread Philippe Mathieu-Daudé
"exec/cpu-defs.h" should be kept as minimal as possible; besides these includes don't seem necessay. Remove them. Signed-off-by: Philippe Mathieu-Daudé --- include/exec/cpu-defs.h | 8 1 file changed, 8 deletions(-) diff --git a/include/exec/cpu-defs.h b/include/exec/cpu-defs.h index 0