VMX: Report the correct flags in IA32_APICBASE MSR emulation
[akaros.git] / kern / include / refd_pages.h
2016-11-29 Barret RhodenProvide a shim layer for reference counted pages