#include <Hypervisor/hv_types.h> not included by <Hypervisor/Hypervisor.h> — include it explicitly

hv_types.h