Lines Matching refs:custom_simple
16 #include <rumprun/custom_simple.h>
23 static custom_simple_t custom_simple;
44 custom_simple.cmdline = malloc(cmdline_len);
45 ZF_LOGF_IF(custom_simple.cmdline == NULL, "Failed to allocate cmdline memory of size: %d", cmdline_len);
46 snprintf(custom_simple.cmdline, cmdline_len, format_string, network_string, rump_config.cmdline);
50 custom_simple.priority = rump_priority;
51 custom_simple.rumprun_memory_size = /*? rump_config.get('rumprun_memory_size') ?*/;
52 custom_simple.simple = &camkes_simple;
53 custom_simple.camkes = true;
54 custom_simple.timer_config.timer = TIMER_INTERFACE;
56 custom_simple.timer_config.timer_ntfn = /*? timer_config_interface ?*/_notification();
57 custom_simple.timer_config.interface.oneshot_relative = /*? timer_config_interface ?*/_oneshot_relative;
58 custom_simple.timer_config.interface.time = /*? timer_config_interface ?*/_time;
59 custom_simple.timer_config.tsc_freq = /*? timer_config_interface ?*/_tsc_frequency();
62 custom_simple.serial_config.serial = SERIAL_INTERFACE;
63 custom_simple.serial_config.putchar = /*? serial_config_interface ?*/_putchar;
68 custom_simple.pci_config_config.pci_config = PCI_CONFIG_INTERFACE;
69 custom_simple.pci_config_config.pci_config_read32 = /*? pci_config_interface ?*/_read32;
70 custom_simple.pci_config_config.pci_config_write32 = /*? pci_config_interface ?*/_write32;
71 custom_simple.ethernet_intr_config.eth_irq_acknowledge = /*? eth_irq_config ?*/_acknowledge;
75 init_rumprun(&custom_simple);