case 0x750: return "Mali T760 (Panfrost)";
case 0x860: return "Mali T860 (Panfrost)";
case 0x880: return "Mali T880 (Panfrost)";
+ case 0x7093: return "Mali G31 (Panfrost)";
+ case 0x7212: return "Mali G52 (Panfrost)";
default:
unreachable("Invalid GPU ID");
}