vhci_is_model_type32
static int vhci_is_model_type32(int);
if (vhci_is_model_type32(mode) == 1) {
if (vhci_is_model_type32(mode)) {