From 59ea5f8cfe3fbb69969e19f4aead1070772b3600 Mon Sep 17 00:00:00 2001
From: Lander Gallastegi <landergallastegi@gmail.com>
Date: Tue, 29 Apr 2025 17:33:19 +0200
Subject: [PATCH] 32 bit counter

---
 src/video_core/buffer_cache/buffer_cache.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/video_core/buffer_cache/buffer_cache.cpp b/src/video_core/buffer_cache/buffer_cache.cpp
index ba7439273..5f7ad4fbd 100644
--- a/src/video_core/buffer_cache/buffer_cache.cpp
+++ b/src/video_core/buffer_cache/buffer_cache.cpp
@@ -721,8 +721,8 @@ void BufferCache::ProcessFaultBuffer() {
         // Create the fault buffers batched
         boost::icl::interval_set<VAddr> fault_ranges;
         const u64* fault_ptr = std::bit_cast<const u64*>(mapped);
-        u64 fault_count = *(fault_ptr++);
-        for (u64 i = 0; i < fault_count; ++i) {
+        const u32 fault_count = static_cast<u32>(*(fault_ptr++));
+        for (u32 i = 0; i < fault_count; ++i) {
             const VAddr fault = *(fault_ptr++);
             const VAddr fault_end = fault + CACHING_PAGESIZE; // This can be adjusted
             fault_ranges +=