-/* $OpenBSD: vmm_machdep.c,v 1.8 2023/09/06 03:35:57 dv Exp $ */
+/* $OpenBSD: vmm_machdep.c,v 1.9 2023/11/13 19:15:01 jasper Exp $ */
/*
* Copyright (c) 2014 Mike Larkin <mlarkin@openbsd.org>
*
ret = EAGAIN;
break;
default:
- printf("unknown memory type %d for GPA 0x%llx\n",
- gpa_memtype, gpa);
+ printf("%s: unknown memory type %d for GPA 0x%llx\n",
+ __func__, gpa_memtype, gpa);
return (EINVAL);
}
}
break;
default:
- printf("unknown memory type %d for GPA 0x%llx\n",
- gpa_memtype, gpa);
+ printf("%s: unknown memory type %d for GPA 0x%llx\n",
+ __func__, gpa_memtype, gpa);
return (EINVAL);
}