حضور پوکو F4 شیائومی در دیتابیس گیک‌بنچ نشان می‌دهد این دستگاه معرفی‌نشده قرار است مدل ری‌برند‌شده‌ی ردمی K40S باشد و از پردازنده‌ی اسنپدراگون ۸۷۰ استفاده کند. ...