gcc does not warn about the wrong type since it is a void pointer which can be cast to any type.
Signed-off-by: Pranith Kumar <bobby.pr...@gmail.com> --- translate-all.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/translate-all.c b/translate-all.c index 8ca393c..c77470a 100644 --- a/translate-all.c +++ b/translate-all.c @@ -412,7 +412,7 @@ static PageDesc *page_find_alloc(tb_page_addr_t index, int alloc) /* Level 2..N-1. */ for (i = V_L1_SHIFT / V_L2_BITS - 1; i > 0; i--) { - void **p = atomic_rcu_read(lp); + void *p = atomic_rcu_read(lp); if (p == NULL) { if (!alloc) { -- 2.10.1