Fixup of some headers.
[barrelfish] / kernel / include / arch / x86_64 / vmx_vmkit.h
2017-09-26 Adam TurowskiFixup of some headers.
2015-06-05 Simon GerberMerge of upstream arrakis code.