diff mbox series

[4/4] target/ppc: Prohibit target specific KVM prototypes on user emulation

Message ID 20230912113027.63941-5-philmd@linaro.org
State Superseded
Headers show
Series target/ppc: Prohibit target specific KVM prototypes on user emulation | expand

Commit Message

Philippe Mathieu-Daudé Sept. 12, 2023, 11:30 a.m. UTC
None of these target-specific prototypes should be used
by user emulation. Remove their declaration there, so we
get a compile failure if ever used (instead of having to
deal with linker and its possible optimizations, such
dead code removal).

Suggested-by: Kevin Wolf <kwolf@redhat.com>
Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
---
 target/ppc/kvm_ppc.h | 4 ++++
 1 file changed, 4 insertions(+)

Comments

Daniel Henrique Barboza Sept. 13, 2023, 9:14 a.m. UTC | #1
On 9/12/23 08:30, Philippe Mathieu-Daudé wrote:
> None of these target-specific prototypes should be used
> by user emulation. Remove their declaration there, so we
> get a compile failure if ever used (instead of having to
> deal with linker and its possible optimizations, such
> dead code removal).
> 
> Suggested-by: Kevin Wolf <kwolf@redhat.com>
> Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
> ---

Reviewed-by: Daniel Henrique Barboza <danielhb413@gmail.com>

>   target/ppc/kvm_ppc.h | 4 ++++
>   1 file changed, 4 insertions(+)
> 
> diff --git a/target/ppc/kvm_ppc.h b/target/ppc/kvm_ppc.h
> index 440e93f923..ffda8054b2 100644
> --- a/target/ppc/kvm_ppc.h
> +++ b/target/ppc/kvm_ppc.h
> @@ -13,6 +13,10 @@
>   #include "exec/hwaddr.h"
>   #include "cpu.h"
>   
> +#ifdef CONFIG_USER_ONLY
> +#error Cannot include kvm_ppc.h from user emulation
> +#endif
> +
>   #ifdef CONFIG_KVM
>   
>   uint32_t kvmppc_get_tbfreq(void);
diff mbox series

Patch

diff --git a/target/ppc/kvm_ppc.h b/target/ppc/kvm_ppc.h
index 440e93f923..ffda8054b2 100644
--- a/target/ppc/kvm_ppc.h
+++ b/target/ppc/kvm_ppc.h
@@ -13,6 +13,10 @@ 
 #include "exec/hwaddr.h"
 #include "cpu.h"
 
+#ifdef CONFIG_USER_ONLY
+#error Cannot include kvm_ppc.h from user emulation
+#endif
+
 #ifdef CONFIG_KVM
 
 uint32_t kvmppc_get_tbfreq(void);