d3796459b11e965f02f9dbb83ccdfaa0db96c460
[akaros.git] / tests / vmm / vmrunkernel.c
1 #include <stdio.h>
2 #include <pthread.h>
3 #include <sys/types.h>
4 #include <sys/stat.h>
5 #include <fcntl.h>
6 #include <parlib/arch/arch.h>
7 #include <parlib/ros_debug.h>
8 #include <unistd.h>
9 #include <gelf.h>
10 #include <errno.h>
11 #include <libelf.h>
12 #include <dirent.h>
13 #include <stdlib.h>
14 #include <string.h>
15 #include <ros/syscall.h>
16 #include <sys/mman.h>
17 #include <vmm/vmm.h>
18 #include <vmm/acpi/acpi.h>
19 #include <ros/arch/mmu.h>
20 #include <ros/arch/membar.h>
21 #include <ros/vmm.h>
22 #include <parlib/uthread.h>
23 #include <vmm/linux_bootparam.h>
24 #include <getopt.h>
25 #include <parlib/alarm.h>
26
27 #include <vmm/virtio.h>
28 #include <vmm/virtio_blk.h>
29 #include <vmm/virtio_mmio.h>
30 #include <vmm/virtio_ids.h>
31 #include <vmm/virtio_config.h>
32 #include <vmm/virtio_console.h>
33 #include <vmm/virtio_net.h>
34 #include <vmm/virtio_lguest_console.h>
35
36 #include <vmm/sched.h>
37 #include <vmm/net.h>
38 #include <sys/eventfd.h>
39 #include <sys/uio.h>
40 #include <parlib/opts.h>
41
42 struct virtual_machine local_vm = {.root_mtx = UTH_MUTEX_INIT},
43                             *vm = &local_vm;
44
45 struct vmm_gpcore_init *gpcis;
46
47 void vapic_status_dump(FILE *f, void *vapic);
48
49 #if __GNUC__ < 4 || (__GNUC__ == 4 && __GNUC_MINOR__ < 1)
50 #error "Get a gcc newer than 4.4.0"
51 #else
52 #define BITOP_ADDR(x) "+m" (*(volatile long *) (x))
53 #endif
54
55 static void virtio_poke_guest(uint8_t vec, uint32_t dest)
56 {
57         if (dest < vm->nr_gpcs) {
58                 vmm_interrupt_guest(vm, dest, vec);
59                 return;
60         }
61         if (dest != 0xffffffff)
62                 panic("INVALID DESTINATION: 0x%02x\n", dest);
63
64         for (int i = 0; i < vm->nr_gpcs; i++)
65                 vmm_interrupt_guest(vm, i, vec);
66 }
67
68 static struct virtio_mmio_dev cons_mmio_dev = {
69         .poke_guest = virtio_poke_guest,
70 };
71
72 static struct virtio_console_config cons_cfg;
73 static struct virtio_console_config cons_cfg_d;
74
75 static struct virtio_vq_dev cons_vqdev = {
76         .name = "console",
77         .dev_id = VIRTIO_ID_CONSOLE,
78         .dev_feat =
79         (1ULL << VIRTIO_F_VERSION_1) | (1 << VIRTIO_RING_F_INDIRECT_DESC),
80         .num_vqs = 2,
81         .cfg = &cons_cfg,
82         .cfg_d = &cons_cfg_d,
83         .cfg_sz = sizeof(struct virtio_console_config),
84         .transport_dev = &cons_mmio_dev,
85         .vqs = {
86                 {
87                         .name = "cons_receiveq",
88                         .qnum_max = 64,
89                         .srv_fn = cons_receiveq_fn,
90                         .vqdev = &cons_vqdev
91                 },
92                 {
93                         .name = "cons_transmitq",
94                         .qnum_max = 64,
95                         .srv_fn = cons_transmitq_fn,
96                         .vqdev = &cons_vqdev
97                 },
98         }
99 };
100
101 static struct virtio_mmio_dev net_mmio_dev = {
102         .poke_guest = virtio_poke_guest,
103 };
104
105 static struct virtio_net_config net_cfg = {
106         .max_virtqueue_pairs = 1
107 };
108 static struct virtio_net_config net_cfg_d = {
109         .max_virtqueue_pairs = 1
110 };
111
112 static struct virtio_vq_dev net_vqdev = {
113         .name = "network",
114         .dev_id = VIRTIO_ID_NET,
115         .dev_feat = (1ULL << VIRTIO_F_VERSION_1 | 1 << VIRTIO_NET_F_MAC),
116
117         .num_vqs = 2,
118         .cfg = &net_cfg,
119         .cfg_d = &net_cfg_d,
120         .cfg_sz = sizeof(struct virtio_net_config),
121         .transport_dev = &net_mmio_dev,
122         .vqs = {
123                 {
124                         .name = "net_receiveq",
125                         .qnum_max = 64,
126                         .srv_fn = net_receiveq_fn,
127                         .vqdev = &net_vqdev
128                 },
129                 {
130                         .name = "net_transmitq",
131                         .qnum_max = 64,
132                         .srv_fn = net_transmitq_fn,
133                         .vqdev = &net_vqdev
134                 },
135         }
136 };
137
138 static struct virtio_mmio_dev blk_mmio_dev = {
139         .poke_guest = virtio_poke_guest,
140 };
141
142 static struct virtio_blk_config blk_cfg = {
143 };
144
145 static struct virtio_blk_config blk_cfg_d = {
146 };
147
148 static struct virtio_vq_dev blk_vqdev = {
149         .name = "block",
150         .dev_id = VIRTIO_ID_BLOCK,
151         .dev_feat = (1ULL << VIRTIO_F_VERSION_1),
152
153         .num_vqs = 1,
154         .cfg = &blk_cfg,
155         .cfg_d = &blk_cfg_d,
156         .cfg_sz = sizeof(struct virtio_blk_config),
157         .transport_dev = &blk_mmio_dev,
158         .vqs = {
159                 {
160                         .name = "blk_request",
161                         .qnum_max = 64,
162                         .srv_fn = blk_request,
163                         .vqdev = &blk_vqdev
164                 },
165         }
166 };
167
168 /* Parse func: given a line of text, it sets any vnet options */
169 static void __parse_vnet_opts(char *_line)
170 {
171         char *eq, *spc;
172
173         /* Check all bools first */
174         if (!strcmp(_line, "snoop")) {
175                 vnet_snoop = TRUE;
176                 return;
177         }
178         if (!strcmp(_line, "map_diagnostics")) {
179                 vnet_map_diagnostics = TRUE;
180                 return;
181         }
182         if (!strcmp(_line, "real_address")) {
183                 vnet_real_ip_addrs = TRUE;
184                 return;
185         }
186         /* Numeric fields, must have an = */
187         eq = strchr(_line, '=');
188         if (!eq)
189                 return;
190         *eq++ = 0;
191         /* Drop spaces before =.  atoi trims any spaces after =. */
192         while ((spc = strrchr(_line, ' ')))
193                 *spc = 0;
194         if (!strcmp(_line, "nat_timeout")) {
195                 vnet_nat_timeout = atoi(eq);
196                 return;
197         }
198 }
199
200 static void set_vnet_opts(char *net_opts)
201 {
202         if (parse_opts_file(net_opts, __parse_vnet_opts))
203                 perror("parse opts file");
204 }
205
206 /* Parse func: given a line of text, it builds any vnet port forwardings. */
207 static void __parse_vnet_port_fwds(char *_line)
208 {
209         char *tok, *tok_save = 0;
210         char *proto, *host_port, *guest_port;
211
212         tok = strtok_r(_line, ":", &tok_save);
213         if (!tok)
214                 return;
215         if (strcmp(tok, "port"))
216                 return;
217         tok = strtok_r(NULL, ":", &tok_save);
218         if (!tok) {
219                 fprintf(stderr, "%s, port with no proto!", __func__);
220                 return;
221         }
222         proto = tok;
223         tok = strtok_r(NULL, ":", &tok_save);
224         if (!tok) {
225                 fprintf(stderr, "%s, port with no host port!", __func__);
226                 return;
227         }
228         host_port = tok;
229         tok = strtok_r(NULL, ":", &tok_save);
230         if (!tok) {
231                 fprintf(stderr, "%s, port with no guest port!", __func__);
232                 return;
233         }
234         guest_port = tok;
235         vnet_port_forward(proto, host_port, guest_port);
236 }
237
238 static void set_vnet_port_fwds(char *net_opts)
239 {
240         if (parse_opts_file(net_opts, __parse_vnet_port_fwds))
241                 perror("parse opts file");
242 }
243
244 /* We map the APIC-access page, the per core Virtual APIC page and the
245  * per core Posted Interrupt Descriptors.
246  * Note: check if the PID/PIR needs to be a 4k page. */
247 void alloc_intr_pages(void)
248 {
249         void *a_page;
250         void *pages, *pir;
251
252         a_page = mmap((void *)APIC_GPA, PGSIZE, PROT_READ | PROT_WRITE,
253                       MAP_POPULATE | MAP_ANONYMOUS | MAP_PRIVATE, -1, 0);
254         fprintf(stderr, "a_page mmap pointer %p\n", a_page);
255
256         if (a_page != (void *)APIC_GPA) {
257                 perror("Could not mmap APIC");
258                 exit(1);
259         }
260         /* The VM should never actually read from this page. */
261         for (int i = 0; i < PGSIZE/4; i++)
262                 ((uint32_t *)a_page)[i] = 0xDEADBEEF;
263
264         /* Allocate VAPIC and PIR pages. */
265         pages = mmap((void*)0, vm->nr_gpcs * 2 * PGSIZE, PROT_READ | PROT_WRITE,
266                      MAP_POPULATE | MAP_ANONYMOUS | MAP_PRIVATE, -1, 0);
267         if (pages == MAP_FAILED) {
268                 perror("Unable to map VAPIC and PIR pages.");
269                 exit(1);
270         }
271
272         /* We use the first vm->nr_gpcs pages for the VAPIC, and the second set
273          * for the PIRs. Each VAPIC and PIR gets its own 4k page. */
274         pir = pages + (vm->nr_gpcs * PGSIZE);
275
276         /* Set the addresses in the gpcis. */
277         for (int i = 0; i < vm->nr_gpcs; i++) {
278                 gpcis[i].posted_irq_desc = pir + (PGSIZE * i);
279                 gpcis[i].vapic_addr = pages + (PGSIZE * i);
280                 gpcis[i].apic_addr = a_page;
281
282                 /* Set APIC ID. */
283                 ((uint32_t *)gpcis[i].vapic_addr)[0x20/4] = i;
284                 /* Set APIC VERSION. */
285                 ((uint32_t *)gpcis[i].vapic_addr)[0x30/4] = 0x01060015;
286                 /* Set LOGICAL APIC ID. */
287                 ((uint32_t *)gpcis[i].vapic_addr)[0xD0/4] = 1 << i;
288         }
289 }
290
291 /* This rams all cores with a valid timer vector and initial count
292  * with a timer interrupt. Used only for debugging/as a temporary workaround */
293 void *inject_timer_spurious(void *args)
294 {
295         struct vmm_gpcore_init *curgpci;
296         uint32_t initial_count;
297         uint8_t vector;
298
299         for (int i = 0; i < vm->nr_gpcs; i++) {
300                 curgpci = &gpcis[i];
301                 vector = ((uint32_t *)curgpci->vapic_addr)[0x32] & 0xff;
302                 initial_count = ((uint32_t *)curgpci->vapic_addr)[0x38];
303                 if (initial_count && vector)
304                         vmm_interrupt_guest(vm, i, vector);
305         }
306         return 0;
307 }
308
309 /* This injects the timer interrupt to the guest. */
310 void *inject_timer(void *args)
311 {
312         uint64_t gpcoreid = (uint64_t)args;
313         struct vmm_gpcore_init *gpci = &gpcis[gpcoreid];
314         uint8_t vector = ((uint32_t *)gpci->vapic_addr)[0x32] & 0xff;
315
316         vmm_interrupt_guest(vm, gpcoreid, vector);
317         return 0;
318 }
319
320 /* This handler must never call __set_alarm after interrupting the guest,
321  * otherwise the guest could try to write to the timer msrs and cause a
322  * race condition. */
323 void timer_alarm_handler(struct alarm_waiter *waiter)
324 {
325         uint8_t vector;
326         uint32_t initial_count;
327         uint32_t divide_config_reg;
328         uint32_t multiplier;
329         uint32_t timer_mode;
330         uint64_t gpcoreid = *((uint64_t *)waiter->data);
331         struct vmm_gpcore_init *gpci = &gpcis[gpcoreid];
332
333         vector = ((uint32_t *)gpci->vapic_addr)[0x32] & 0xff;
334         timer_mode = (((uint32_t *)gpci->vapic_addr)[0x32] >> 17) & 0x03;
335         initial_count = ((uint32_t *)gpci->vapic_addr)[0x38];
336         divide_config_reg = ((uint32_t *)gpci->vapic_addr)[0x3E];
337
338         /* Don't blame me for this. Look at the intel manual
339          * Vol 3 10.5.4 APIC Timer */
340         multiplier = (((divide_config_reg & 0x08) >> 1) |
341                       (divide_config_reg & 0x03)) + 1;
342         multiplier &= 0x07;
343
344         if (vector && initial_count && timer_mode == 0x01) {
345                 /* This is periodic, we reset the alarm */
346                 set_awaiter_rel(waiter, initial_count << multiplier);
347                 __set_alarm(waiter);
348         }
349
350         /* We spin up a task to inject the timer because vmm_interrupt_guest
351          * may block and we can't do that from vcore context. */
352         vmm_run_task(vm, inject_timer, (void *)gpcoreid);
353 }
354
355 /* This sets up the structs for each of the guest pcore's timers, but
356  * doesn't actually start the alarms until the core writes all the reasonable
357  * values to the x2apic msrs. */
358 void init_timer_alarms(void)
359 {
360         uint64_t *gpcoreids = malloc(sizeof(uint64_t) * vm->nr_gpcs);
361
362         for (uint64_t i = 0; i < vm->nr_gpcs; i++) {
363                 struct alarm_waiter *timer_alarm = malloc(sizeof(struct alarm_waiter));
364
365                 gpcoreids[i] = i;
366                 gpcis[i].user_data = (void *)timer_alarm;
367                 timer_alarm->data = gpcoreids + i;
368                 init_awaiter(timer_alarm, timer_alarm_handler);
369         }
370 }
371
372 int main(int argc, char **argv)
373 {
374         int debug = 0;
375         unsigned long long memsize = GiB;
376         uintptr_t memstart = MinMemory;
377         uintptr_t memend;
378         struct boot_params *bp;
379         char cmdline_default[512] = {0};
380         char *cmdline_extra = "\0";
381         char *cmdline;
382         void *a = (void *)0xe0000;
383         int vmmflags = 0;
384         uint64_t entry = 0;
385         int ret;
386         struct vm_trapframe *vm_tf;
387         uint64_t tsc_freq_khz;
388         char *cmdlinep;
389         int cmdlinesz, len, cmdline_fd;
390         char *disk_image_file = NULL;
391         int c;
392         struct stat stat_result;
393         int num_read;
394         int option_index;
395         char *smbiostable = NULL;
396         char *net_opts = NULL;
397         uint64_t num_pcs = 1;
398         bool is_greedy = FALSE;
399         bool is_scp = FALSE;
400         char *initrd = NULL;
401         uint64_t initrd_start = 0, initrd_size = 0;
402         uint64_t kernel_max_address;
403
404         static struct option long_options[] = {
405                 {"debug",         no_argument,       0, 'd'},
406                 {"vmm_vmcall",    no_argument,       0, 'v'},
407                 {"maxresume",     required_argument, 0, 'R'},
408                 {"memsize",       required_argument, 0, 'm'},
409                 {"memstart",      required_argument, 0, 'M'},
410                 {"cmdline_extra", required_argument, 0, 'c'},
411                 {"greedy",        no_argument,       0, 'g'},
412                 {"initrd",        required_argument, 0, 'i'},
413                 {"scp",           no_argument,       0, 's'},
414                 {"image_file",    required_argument, 0, 'f'},
415                 {"cmdline",       required_argument, 0, 'k'},
416                 {"net",           required_argument, 0, 'n'},
417                 {"num_cores",     required_argument, 0, 'N'},
418                 {"smbiostable",   required_argument, 0, 't'},
419                 {"help",          no_argument,       0, 'h'},
420                 {0, 0, 0, 0}
421         };
422
423         fprintf(stderr, "%p %p %p %p\n", PGSIZE, PGSHIFT, PML1_SHIFT,
424                 PML1_PTE_REACH);
425
426         if ((uintptr_t)__procinfo.program_end >= MinMemory) {
427                 fprintf(stderr,
428                         "Panic: vmrunkernel binary extends into guest memory\n");
429                 exit(1);
430         }
431
432         vm->low4k = malloc(PGSIZE);
433         memset(vm->low4k, 0xff, PGSIZE);
434         vm->low4k[0x40e] = 0;
435         vm->low4k[0x40f] = 0;
436         // Why is this here? Because the static initializer is getting
437         // set to 1.  Yes, 1. This might be part of the weirdness
438         // Barrett is reporting with linker sets. So let's leave it
439         // here until we trust our toolchain.
440         if (memsize != GiB)
441                 fprintf(stderr, "static initializers are broken\n");
442         memsize = GiB;
443
444         while ((c = getopt_long(argc, argv, "dvi:m:M:c:gsf:k:N:n:t:hR:",
445                                 long_options, &option_index)) != -1) {
446                 switch (c) {
447                 case 'd':
448                         debug++;
449                         break;
450                 case 'v':
451                         vmmflags |= VMM_CTL_FL_KERN_PRINTC;
452                         break;
453                 case 'm':
454                         memsize = strtoull(optarg, 0, 0);
455                         break;
456                 case 'M':
457                         memstart = strtoull(optarg, 0, 0);
458                         break;
459                 case 'c':
460                         cmdline_extra = optarg;
461                 case 'g':       /* greedy */
462                         parlib_never_yield = TRUE;
463                         if (is_scp) {
464                                 fprintf(stderr, "Can't be both greedy and an SCP\n");
465                                 exit(1);
466                         }
467                         is_greedy = TRUE;
468                         break;
469                 case 's':       /* scp */
470                         parlib_wants_to_be_mcp = FALSE;
471                         if (is_greedy) {
472                                 fprintf(stderr, "Can't be both greedy and an SCP\n");
473                                 exit(1);
474                         }
475                         is_scp = TRUE;
476                         break;
477                 case 'f':       /* file to pass to blk_init */
478                         disk_image_file = optarg;
479                         break;
480                 case 'i':
481                         initrd = optarg;
482                         break;
483                 case 'k':       /* specify file to get cmdline args from */
484                         cmdline_fd = open(optarg, O_RDONLY);
485                         if (cmdline_fd < 0) {
486                                 fprintf(stderr, "failed to open file: %s\n", optarg);
487                                 exit(1);
488                         }
489                         if (stat(optarg, &stat_result) == -1) {
490                                 fprintf(stderr, "stat of %s failed\n", optarg);
491                                 exit(1);
492                         }
493                         len = stat_result.st_size;
494                         if (len > 512) {
495                                 fprintf(stderr, "command line options exceed 512 bytes!");
496                                 exit(1);
497                         }
498                         num_read = read(cmdline_fd, cmdline_default, len);
499                         if (num_read != len) {
500                                 fprintf(stderr, "read failed len was : %d, num_read was: %d\n",
501                                         len, num_read);
502                                 exit(1);
503                         }
504                         close(cmdline_fd);
505                         break;
506                 case 't':
507                         smbiostable = optarg;
508                         break;
509                 case 'n':
510                         net_opts = optarg;
511                         break;
512                 case 'N':
513                         num_pcs = strtoull(optarg, 0, 0);
514                         break;
515                 case 'h':
516                 default:
517                         // Sadly, the getopt_long struct does
518                         // not have a pointer to help text.
519                         for (int i = 0;
520                              i < sizeof(long_options)/sizeof(long_options[0]) - 1;
521                              i++) {
522                                 struct option *l = &long_options[i];
523
524                                 fprintf(stderr, "%s or %c%s\n", l->name, l->val,
525                                         l->has_arg ? " <arg>" : "");
526                         }
527                         exit(0);
528                 }
529         }
530
531         if (strlen(cmdline_default) == 0) {
532                 fprintf(stderr, "WARNING: No command line parameter file specified.\n");
533         }
534         argc -= optind;
535         argv += optind;
536         if (argc < 1) {
537                 fprintf(stderr, "Usage: %s vmimage [-n (no vmcall printf)]\n", argv[0]);
538                 exit(1);
539         }
540
541         // Set vm->nr_gpcs before it's referenced in the struct setups below.
542         vm->nr_gpcs = num_pcs;
543         fprintf(stderr, "NUM PCS: %d\n", num_pcs);
544         gpcis = (struct vmm_gpcore_init *)
545                         malloc(num_pcs * sizeof(struct vmm_gpcore_init));
546         vm->gpcis = gpcis;
547
548         alloc_intr_pages();
549
550         memend = memstart + memsize - 1;
551         if (memend >= BRK_START) {
552                 fprintf(stderr,
553                         "memstart 0x%llx memsize 0x%llx -> 0x%llx is too large; overlaps BRK_START at %p\n",
554                         memstart, memsize, memstart + memsize, BRK_START);
555                 exit(1);
556         }
557
558         mmap_memory(vm, memstart, memsize);
559
560         entry = load_elf(argv[0], 0, &kernel_max_address, NULL);
561         if (entry == 0) {
562                 fprintf(stderr, "Unable to load kernel %s\n", argv[0]);
563                 exit(1);
564         }
565
566         a = setup_biostables(vm, a, smbiostable);
567
568         bp = a;
569         a = init_e820map(vm, bp);
570
571         if (initrd) {
572                 initrd_start = ROUNDUP(kernel_max_address, PGSIZE);
573                 fprintf(stderr, "kernel_max_address is %#p; Load initrd @ %#p\n",
574                         kernel_max_address, initrd_start);
575                 initrd_size = setup_initrd(initrd, (void *)initrd_start,
576                                            memend - initrd_start + 1);
577                 if (initrd_size <= 0) {
578                         fprintf(stderr, "Unable to load initrd %s\n", initrd);
579                         exit(1);
580                 }
581
582                 bp->hdr.ramdisk_image = initrd_start;
583                 bp->hdr.ramdisk_size = initrd_size;
584                 bp->hdr.root_dev = 0x100;
585                 bp->hdr.type_of_loader = 0xff;
586                 fprintf(stderr, "Set bp initrd to %p / %p\n",
587                         initrd_start, initrd_size);
588         }
589
590         /* The MMIO address of the console device is really the address of an
591          * unbacked EPT page: accesses to this page will cause a page fault that
592          * traps to the host, which will examine the fault, see it was for the
593          * known MMIO address, and fulfill the MMIO read or write on the guest's
594          * behalf accordingly. We place the virtio space at 512 GB higher than the
595          * guest physical memory to avoid a full page table walk. */
596         uintptr_t virtio_mmio_base_addr_hint;
597         uintptr_t virtio_mmio_base_addr;
598
599         virtio_mmio_base_addr_hint =
600             ROUNDUP((bp->e820_map[bp->e820_entries - 1].addr +
601                      bp->e820_map[bp->e820_entries - 1].size),
602                      PML4_PTE_REACH);
603
604         /* mmap with prot_none so we don't accidentally mmap something else here.
605          * We give space for 512 devices right now.
606          * TODO(ganshun): Make it dynamic based on number of virtio devices. */
607         virtio_mmio_base_addr =
608             (uintptr_t) mmap((void *) virtio_mmio_base_addr_hint, 512 * PGSIZE,
609                              PROT_NONE, MAP_ANONYMOUS | MAP_PRIVATE, -1, 0);
610
611         if (!virtio_mmio_base_addr || virtio_mmio_base_addr >= BRK_START) {
612                 /* Either we were unable to mmap at all or we mapped it too high. */
613                 panic("Unable to mmap protect space for virtio devices, got 0x%016x",
614                       virtio_mmio_base_addr);
615         }
616
617         cons_mmio_dev.addr =
618                 virtio_mmio_base_addr + PGSIZE * VIRTIO_MMIO_CONSOLE_DEV;
619         cons_mmio_dev.vqdev = &cons_vqdev;
620         vm->virtio_mmio_devices[VIRTIO_MMIO_CONSOLE_DEV] = &cons_mmio_dev;
621
622         net_mmio_dev.addr =
623                 virtio_mmio_base_addr + PGSIZE * VIRTIO_MMIO_NETWORK_DEV;
624         net_mmio_dev.vqdev = &net_vqdev;
625         vm->virtio_mmio_devices[VIRTIO_MMIO_NETWORK_DEV] = &net_mmio_dev;
626
627         if (disk_image_file != NULL) {
628                 blk_mmio_dev.addr =
629                         virtio_mmio_base_addr + PGSIZE * VIRTIO_MMIO_BLOCK_DEV;
630                 blk_mmio_dev.vqdev = &blk_vqdev;
631                 vm->virtio_mmio_devices[VIRTIO_MMIO_BLOCK_DEV] = &blk_mmio_dev;
632                 blk_init_fn(&blk_vqdev, disk_image_file);
633         }
634
635         set_vnet_opts(net_opts);
636         vnet_init(vm, &net_vqdev);
637         set_vnet_port_fwds(net_opts);
638
639         /* Set the kernel command line parameters */
640         a += 4096;
641         cmdline = a;
642         a += 4096;
643
644         bp->hdr.cmd_line_ptr = (uintptr_t) cmdline;
645
646         tsc_freq_khz = get_tsc_freq()/1000;
647         len = snprintf(cmdline, 4096, "%s tscfreq=%lld %s", cmdline_default,
648                        tsc_freq_khz, cmdline_extra);
649
650         cmdlinesz = 4096 - len;
651         cmdlinep = cmdline + len;
652
653         for (int i = 0; i < VIRTIO_MMIO_MAX_NUM_DEV; i++) {
654                 if (vm->virtio_mmio_devices[i] == NULL)
655                         continue;
656
657                 /* Append all the virtio mmio base addresses. */
658
659                 /* Since the lower number irqs are no longer being used, the irqs
660                  * can now be assigned starting from 0.
661                  */
662                 vm->virtio_mmio_devices[i]->irq = i;
663                 len = snprintf(cmdlinep, cmdlinesz,
664                                "\n virtio_mmio.device=1K@0x%llx:%lld",
665                                vm->virtio_mmio_devices[i]->addr,
666                                vm->virtio_mmio_devices[i]->irq);
667                 if (len >= cmdlinesz) {
668                         fprintf(stderr, "Too many arguments to the linux command line.");
669                         exit(1);
670                 }
671                 cmdlinesz -= len;
672                 cmdlinep += len;
673         }
674
675         /* Set maxcpus to the number of cores we're giving the guest. */
676         len = snprintf(cmdlinep, cmdlinesz,
677                        "\n maxcpus=%lld\n possible_cpus=%lld", vm->nr_gpcs,
678                        vm->nr_gpcs);
679         if (len >= cmdlinesz) {
680                 fprintf(stderr, "Too many arguments to the linux command line.");
681                 exit(1);
682         }
683         cmdlinesz -= len;
684         cmdlinep += len;
685
686         ret = vmm_init(vm, vmmflags);
687         assert(!ret);
688
689         init_timer_alarms();
690
691         setup_paging(vm);
692
693         vm_tf = gth_to_vmtf(vm->gths[0]);
694         vm_tf->tf_cr3 = (uint64_t) vm->root;
695         vm_tf->tf_rip = entry;
696         vm_tf->tf_rsp = 0xe0000;
697         vm_tf->tf_rsi = (uint64_t) bp;
698         vm->up_gpcs = 1;
699         fprintf(stderr, "Start guest: cr3 %p rip %p\n", vm_tf->tf_cr3, entry);
700         start_guest_thread(vm->gths[0]);
701
702         uthread_sleep_forever();
703         return 0;
704 }