vkernel/vkernel64: fix a bug in cpu_regs.c
authorMarkus Pfeiffer <markus.pfeiffer@morphism.de>
Sat, 16 Jun 2012 11:20:58 +0000 (11:20 +0000)
committerMarkus Pfeiffer <markus.pfeiffer@morphism.de>
Sat, 16 Jun 2012 11:31:41 +0000 (11:31 +0000)
commit1a482e3fea833c34264b54d566ddd0f4276d8bcf
tree6eb5ff26ad24c797429ab868961f5404c4e072aa
parent8075c3b86874d51e347b753974316e6fb1c2dc8c
vkernel/vkernel64: fix a bug in cpu_regs.c

followup to the previous typo which was repeated in the handling
of old FreeBSD style arguments.
sys/platform/vkernel/i386/cpu_regs.c
sys/platform/vkernel64/x86_64/cpu_regs.c