pvr_gpu_id_to_packed_bvnc
switch (pvr_gpu_id_to_packed_bvnc(gpu_id)) {
pvr_gpu_id_to_packed_bvnc(&pvr_dev->gpu_id);
if (pvr_gpu_id_to_packed_bvnc(&pvr_dev->gpu_id) != header->bvnc) {
const u64 packed_bad_gpuid = pvr_gpu_id_to_packed_bvnc(&bad_gpuid);
pvr_gpu_id_to_packed_bvnc(&_gpuid_out), \