-/* $OpenBSD: vm.c,v 1.35 2018/07/09 16:07:55 mlarkin Exp $ */
+/* $OpenBSD: vm.c,v 1.36 2018/07/10 08:40:20 mlarkin Exp $ */
/*
* Copyright (c) 2015 Mike Larkin <mlarkin@openbsd.org>
ioports_map[IO_ICU1 + 1] = vcpu_exit_i8259;
ioports_map[IO_ICU2] = vcpu_exit_i8259;
ioports_map[IO_ICU2 + 1] = vcpu_exit_i8259;
- ioports_map[ELCR0] = vcpu_exit_i8259;
- ioports_map[ELCR1] = vcpu_exit_i8259;
+ ioports_map[ELCR0] = vcpu_exit_elcr;
+ ioports_map[ELCR1] = vcpu_exit_elcr;
/* Init ns8250 UART */
ns8250_init(con_fd, vcp->vcp_id);