diff options
| author | Mike Larkin <mlarkin@cvs.openbsd.org> | 2017-05-27 02:27:49 +0000 |
|---|---|---|
| committer | Mike Larkin <mlarkin@cvs.openbsd.org> | 2017-05-27 02:27:49 +0000 |
| commit | edcfc079d1c837edef05dba5aba2b3c6bcbec537 (patch) | |
| tree | 85777c8ce9e430f7c9881c9c2d7866da6119eff1 /sys | |
| parent | ae9efb0a628feb57676447d8d81b78cba6331179 (diff) | |
add missing prototype
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/arch/amd64/amd64/vmm.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/arch/amd64/amd64/vmm.c b/sys/arch/amd64/amd64/vmm.c index 8b89fd503a9..6b947de0985 100644 --- a/sys/arch/amd64/amd64/vmm.c +++ b/sys/arch/amd64/amd64/vmm.c @@ -1,4 +1,4 @@ -/* $OpenBSD: vmm.c,v 1.143 2017/05/19 06:29:21 mlarkin Exp $ */ +/* $OpenBSD: vmm.c,v 1.144 2017/05/27 02:27:48 mlarkin Exp $ */ /* * Copyright (c) 2014 Mike Larkin <mlarkin@openbsd.org> * @@ -106,6 +106,7 @@ struct vmm_softc { uint8_t vpids[512]; /* bitmap of used VPID/ASIDs */ }; +void vmx_dump_vmcs_field(uint16_t, const char *); int vmm_enabled(void); int vmm_probe(struct device *, void *, void *); void vmm_attach(struct device *, struct device *, void *); |