Lines Matching refs:hax
14 #include "target-i386/hax-i386.h"
28 hDevice = CreateFile( "\\\\.\\HAX",
38 dprint("Failed to open the HAX device!\n");
57 dprint("Open HAX device failed\n");
90 dprint("HAX: Failed to allocate %x memory (address %llx)\n",
139 int hax_capability(struct hax_state *hax, struct hax_capabilityinfo *cap)
142 HANDLE hDevice = hax->fd; //handle to hax module
147 dprint("Invalid fd for hax device!\n");
162 dprint("hax capability is too long to hold.\n");
163 dprint("Failed to get Hax capability:%d\n", err);
169 int hax_mod_version(struct hax_state *hax, struct hax_module_version *version)
172 HANDLE hDevice = hax->fd; //handle to hax module
177 dprint("Invalid fd for hax device!\n");
192 dprint("HAX module is too large.\n");
193 dprint("Failed to get Hax module version:%d\n", err);
234 int hax_host_create_vm(struct hax_state *hax, int *vmid)
240 if (hax_invalid_fd(hax->fd))
243 if (hax->vm)
246 ret = DeviceIoControl(hax->fd,
260 hax_fd hax_host_open_vm(struct hax_state *hax, int vm_id)
369 dprint("Failed to setup the hax tunnel\n");
375 dprint("Invalid hax tunnel size %x\n", info.size);
