#include <palacios/vm_guest.h>

int v3_init_vmx_msr_map(struct guest_info * info);