We no longer support 32-bit hosts.

Signed-off-by: Richard Henderson <[email protected]>
---
 accel/tcg/cputlb.c | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/accel/tcg/cputlb.c b/accel/tcg/cputlb.c
index 695476eef1..c8ba727859 100644
--- a/accel/tcg/cputlb.c
+++ b/accel/tcg/cputlb.c
@@ -86,11 +86,6 @@
         }                                                         \
     } while (0)
 
-/* run_on_cpu_data.target_ptr should always be big enough for a
- * vaddr even on 32 bit builds
- */
-QEMU_BUILD_BUG_ON(sizeof(vaddr) > sizeof(run_on_cpu_data));
-
 static inline size_t tlb_n_entries(CPUTLBDescFast *fast)
 {
     return (fast->mask >> CPU_TLB_ENTRY_BITS) + 1;
-- 
2.43.0


Reply via email to