When we get bumped to userland and the fault is already handled,
don't log anything. It's way too chatty and helps nobody trying to
debug things.
-/* $OpenBSD: x86_vm.c,v 1.1 2024/07/10 10:41:19 dv Exp $ */
+/* $OpenBSD: x86_vm.c,v 1.2 2024/07/12 13:51:12 dv Exp $ */
/*
* Copyright (c) 2015 Mike Larkin <mlarkin@openbsd.org>
*
#endif /* MMIO_NOTYET */
switch (ve->vee.vee_fault_type) {
case VEE_FAULT_HANDLED:
- log_debug("%s: fault already handled", __func__);
break;
#if MMIO_NOTYET