+/* (c) 2008, Jack Lange <jarusl@cs.northwestern.edu> */
+/* (c) 2008, The V3VEE Project <http://www.v3vee.org> */
+
#include <palacios/vmm_config.h>
#include <palacios/vmm.h>
#include <palacios/vmm_debug.h>
-/*static int mem_test_read(addr_t guest_addr, void * dst, uint_t length, void * priv_data) {
- int foo = 20;
+static int mem_test_read(addr_t guest_addr, void * dst, uint_t length, void * priv_data) {
+ int foo = 20;
memcpy(dst, &foo, length);
PrintDebug("Passthrough mem read returning: %d (length=%d)\n", foo + (guest_addr & 0xfff), length);
return length;
- }*/
+}
static int passthrough_mem_read(addr_t guest_addr, void * dst, uint_t length, void * priv_data) {
memcpy(dst, (void*)guest_addr, length);
}
+/*static int IO_Read(ushort_t port, void * dst, uint_t length, void * priv_data) {
+
+ struct guest_info * info = priv_data;
+ ulong_t tsc_spread = 0;
+ ullong_t exit_tsc = 0;
+
+
+ *(ulong_t *)(&exit_tsc) = info->vm_regs.rbx;
+ *(ulong_t *)((&exit_tsc) + 4) = info->vm_regs.rcx;
+ tsc_spread = info->exit_tsc - exit_tsc;
+
+ PrintError("IOREAD tsc diff = %lu\n",tsc_spread);
+ info->rip += 3;
+
+
+ return 1;
+}
+*/
int config_guest(struct guest_info * info, void * config_ptr) {
//
add_shadow_region_passthrough(info, 0x0, 0xa0000, (addr_t)V3_AllocPages(160));
- //add_shadow_region_passthrough(info, 0xa0000, 0xc0000, 0xa0000);
- hook_guest_mem(info, 0xa0000, 0xc0000, passthrough_mem_read, passthrough_mem_write, NULL);
-
+ if (1) {
+ add_shadow_region_passthrough(info, 0xa0000, 0xc0000, 0xa0000);
+ } else {
+ hook_guest_mem(info, 0xa0000, 0xc0000, passthrough_mem_read, passthrough_mem_write, NULL);
+ }
// TEMP
//add_shadow_region_passthrough(info, 0xc0000, 0xc8000, 0xc0000);
}
-
+ if (1) {
add_shadow_region_passthrough(info, 0x100000, 0x1000000, (addr_t)V3_AllocPages(4096));
- /* MEMORY HOOK TEST */
- /* {
-
+ } else {
+ /* MEMORY HOOK TEST */
add_shadow_region_passthrough(info, 0x100000, 0xa00000, (addr_t)V3_AllocPages(2304));
- hook_guest_mem(info, 0xa00000, 0xa01000, mem_test_read, passthrough_mem_write, NULL);
-
+ hook_guest_mem(info, 0xa00000, 0xa01000, mem_test_read, passthrough_mem_write, NULL);
add_shadow_region_passthrough(info, 0xa01000, 0x1000000, (addr_t)V3_AllocPages(1791));
-
}
-*/
+
add_shadow_region_passthrough(info, 0x1000000, 0x8000000, (addr_t)V3_AllocPages(32768));
// test - give linux accesss to PCI space - PAD
#endif
+ //v3_hook_io_port(info, 1234, &IO_Read, NULL, info);
+
info->rip = 0xfff0;
info->vm_regs.rsp = 0x0;
v3_hook_io_port(&vm_info, 0x61, &IO_Read, &IO_Write, NULL);
v3_hook_io_port(&vm_info, 0x05, &IO_Read, &IO_Write_to_Serial, NULL);
+
+
/*
vm_info.cr0 = 0;
vm_info.cs.base=0xf000;