2 * This file is part of the Palacios Virtual Machine Monitor developed
3 * by the V3VEE Project with funding from the United States National
4 * Science Foundation and the Department of Energy.
6 * The V3VEE Project is a joint project between Northwestern University
7 * and the University of New Mexico. You can find out more at
10 * Copyright (c) 2013, The V3VEE Project <http://www.v3vee.org>
11 * All rights reserved.
13 * Author: Peter Dinda <pdinda@northwestern.edu>
15 * This is free software. You are permitted to use,
16 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
19 #include <palacios/vmm.h>
20 #include <palacios/vmm_debug.h>
21 #include <palacios/vmm_types.h>
22 #include <palacios/vm_guest.h>
23 #include <palacios/vmm_lowlevel.h>
25 #include <interfaces/vmm_lazy_fpu.h>
27 struct v3_lazy_fpu_iface * palacios_lazy_fpu_hooks = 0;
31 void V3_Init_Lazy_FPU (struct v3_lazy_fpu_iface * lazy_fpu_iface)
33 palacios_lazy_fpu_hooks = lazy_fpu_iface;