#include <palacios/vmm_telemetry.h>
-
+#ifdef CONFIG_SYMMOD
+#include <palacios/vmm_symmod.h>
+#endif
static int key_event_handler(struct v3_vm_info * vm,
struct v3_keyboard_event * evt,
}
// PrintGuestPageTables(info, info->shdw_pg_state.guest_cr3);
}
-#ifdef CONFIG_SYMBIOTIC
+#ifdef CONFIG_SYMCALL
else if (evt->scan_code == 0x43) { // F9 Sym test
+ struct guest_info * core = &(vm->cores[0]);
PrintDebug("Testing sym call\n");
sym_arg_t a0 = 0x1111;
sym_arg_t a1 = 0x2222;
uint64_t call_start = 0;
uint64_t call_end = 0;
- V3_Print("Exits before symcall: %d\n", (uint32_t)info->num_exits);
+ V3_Print("Exits before symcall: %d\n", (uint32_t)core->num_exits);
rdtscll(call_start);
- v3_sym_call5(info, SYMCALL_TEST, &a0, &a1, &a2, &a3, &a4);
+ v3_sym_call5(core, SYMCALL_TEST, &a0, &a1, &a2, &a3, &a4);
rdtscll(call_end);
- V3_Print("Symcall latency = %d cycles (%d exits)\n", (uint32_t)(call_end - call_start), (uint32_t)info->num_exits);
+ V3_Print("Symcall latency = %d cycles (%d exits)\n", (uint32_t)(call_end - call_start), (uint32_t)core->num_exits);
V3_Print("Symcall Test Returned arg0=%x, arg1=%x, arg2=%x, arg3=%x, arg4=%x\n",
(uint32_t)a0, (uint32_t)a1, (uint32_t)a2, (uint32_t)a3, (uint32_t)a4);
PrintDebug("Toggling Debugging\n");
v3_dbg_enable ^= 1;
- } else if (evt->scan_code == 0x41) { // F7 telemetry dump
+
+ }
#ifdef CONFIG_TELEMETRY
- v3_print_telemetry(info);
+
+ else if (evt->scan_code == 0x41) { // F7 telemetry dump
+ v3_print_telemetry(vm);
+ }
#endif
+#ifdef CONFIG_SYMMOD
+ else if (evt->scan_code == 0x40) { // F6 Test symmod load
+ v3_load_sym_capsule(vm, "lnx_test");
}
-
+#endif
addr_t irq_state = v3_lock_irqsave(state->kb_lock);
static int keyboard_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
struct keyboard_internal * keyboard_state = NULL;
- char * name = v3_cfg_val(cfg, "name");
+ char * dev_id = v3_cfg_val(cfg, "ID");
PrintDebug("keyboard: init_device\n");
keyboard_state->mouse_enabled = 0;
- struct vm_device * dev = v3_allocate_device(name, &dev_ops, keyboard_state);
+ struct vm_device * dev = v3_allocate_device(dev_id, &dev_ops, keyboard_state);
if (v3_attach_device(vm, dev) == -1) {
- PrintError("Could not attach device %s\n", name);
+ PrintError("Could not attach device %s\n", dev_id);
return -1;
}