vmmops_exception
vmmops_exception(void *vcpui, uint64_t esr, uint64_t far)
vmmops_exception(void *vcpui, uint64_t scause)