5b649edb89ff8a3ed51b298ef7b08ccb85020bf1
[dragonfly.git] / sys / platform / vkernel / platform / init.c
1 /*
2  * Copyright (c) 2006 The DragonFly Project.  All rights reserved.
3  * 
4  * This code is derived from software contributed to The DragonFly Project
5  * by Matthew Dillon <dillon@backplane.com>
6  * 
7  * Redistribution and use in source and binary forms, with or without
8  * modification, are permitted provided that the following conditions
9  * are met:
10  * 
11  * 1. Redistributions of source code must retain the above copyright
12  *    notice, this list of conditions and the following disclaimer.
13  * 2. Redistributions in binary form must reproduce the above copyright
14  *    notice, this list of conditions and the following disclaimer in
15  *    the documentation and/or other materials provided with the
16  *    distribution.
17  * 3. Neither the name of The DragonFly Project nor the names of its
18  *    contributors may be used to endorse or promote products derived
19  *    from this software without specific, prior written permission.
20  * 
21  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
22  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
23  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
24  * FOR A PARTICULAR PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE
25  * COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
26  * INCIDENTAL, SPECIAL, EXEMPLARY OR CONSEQUENTIAL DAMAGES (INCLUDING,
27  * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
28  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
29  * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
30  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
31  * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
32  * SUCH DAMAGE.
33  * 
34  * $DragonFly: src/sys/platform/vkernel/platform/init.c,v 1.56 2008/05/27 07:48:00 dillon Exp $
35  */
36
37 #include <sys/types.h>
38 #include <sys/systm.h>
39 #include <sys/kernel.h>
40 #include <sys/stat.h>
41 #include <sys/mman.h>
42 #include <sys/cons.h>
43 #include <sys/random.h>
44 #include <sys/vkernel.h>
45 #include <sys/tls.h>
46 #include <sys/reboot.h>
47 #include <sys/proc.h>
48 #include <sys/msgbuf.h>
49 #include <sys/vmspace.h>
50 #include <sys/socket.h>
51 #include <sys/sockio.h>
52 #include <sys/sysctl.h>
53 #include <sys/un.h>
54 #include <vm/vm_page.h>
55 #include <sys/mplock2.h>
56
57 #include <machine/cpu.h>
58 #include <machine/globaldata.h>
59 #include <machine/tls.h>
60 #include <machine/md_var.h>
61 #include <machine/vmparam.h>
62 #include <cpu/specialreg.h>
63
64 #include <net/if.h>
65 #include <net/if_arp.h>
66 #include <net/ethernet.h>
67 #include <net/bridge/if_bridgevar.h>
68 #include <netinet/in.h>
69 #include <arpa/inet.h>
70
71 #include <stdio.h>
72 #include <stdlib.h>
73 #include <stdarg.h>
74 #include <stdbool.h>
75 #include <unistd.h>
76 #include <fcntl.h>
77 #include <string.h>
78 #include <err.h>
79 #include <errno.h>
80 #include <assert.h>
81 #include <sysexits.h>
82
83 vm_paddr_t phys_avail[16];
84 vm_paddr_t Maxmem;
85 vm_paddr_t Maxmem_bytes;
86 long physmem;
87 int MemImageFd = -1;
88 struct vkdisk_info DiskInfo[VKDISK_MAX];
89 int DiskNum;
90 struct vknetif_info NetifInfo[VKNETIF_MAX];
91 int NetifNum;
92 char *pid_file;
93 vm_offset_t KvaStart;
94 vm_offset_t KvaEnd;
95 vm_offset_t KvaSize;
96 vm_offset_t virtual_start;
97 vm_offset_t virtual_end;
98 vm_offset_t virtual2_start;
99 vm_offset_t virtual2_end;
100 vm_offset_t kernel_vm_end;
101 vm_offset_t crashdumpmap;
102 vm_offset_t clean_sva;
103 vm_offset_t clean_eva;
104 struct msgbuf *msgbufp;
105 caddr_t ptvmmap;
106 vpte_t  *KernelPTD;
107 vpte_t  *KernelPTA;     /* Warning: Offset for direct VA translation */
108 u_int cpu_feature;      /* XXX */
109 int tsc_present;
110 int64_t tsc_frequency;
111 int optcpus;            /* number of cpus - see mp_start() */
112 int lwp_cpu_lock;       /* if/how to lock virtual CPUs to real CPUs */
113 int real_ncpus;         /* number of real CPUs */
114 int next_cpu;           /* next real CPU to lock a virtual CPU to */
115
116 int via_feature_xcrypt = 0;     /* XXX */
117 int via_feature_rng = 0;        /* XXX */
118
119 struct privatespace *CPU_prvspace;
120
121 static struct trapframe proc0_tf;
122 static void *proc0paddr;
123
124 static void init_sys_memory(char *imageFile);
125 static void init_kern_memory(void);
126 static void init_globaldata(void);
127 static void init_vkernel(void);
128 static void init_disk(char *diskExp[], int diskFileNum, enum vkdisk_type type); 
129 static void init_netif(char *netifExp[], int netifFileNum);
130 static void writepid(void);
131 static void cleanpid(void);
132 static int unix_connect(const char *path);
133 static void usage_err(const char *ctl, ...);
134 static void usage_help(_Bool);
135
136 static int save_ac;
137 static char **save_av;
138
139 /*
140  * Kernel startup for virtual kernels - standard main() 
141  */
142 int
143 main(int ac, char **av)
144 {
145         char *memImageFile = NULL;
146         char *netifFile[VKNETIF_MAX];
147         char *diskFile[VKDISK_MAX];
148         char *cdFile[VKDISK_MAX];
149         char *suffix;
150         char *endp;
151         char *tmp;
152         int netifFileNum = 0;
153         int diskFileNum = 0;
154         int cdFileNum = 0;
155         int bootOnDisk = -1;    /* set below to vcd (0) or vkd (1) */
156         int c;
157         int i;
158         int j;
159         int n;
160         int isq;
161         int pos;
162         int eflag;
163         int real_vkernel_enable;
164         int supports_sse;
165         size_t vsize;
166         size_t kenv_size;
167         size_t kenv_size2;
168         
169         save_ac = ac;
170         save_av = av;
171         eflag = 0;
172         pos = 0;
173         kenv_size = 0;
174
175         /*
176          * Process options
177          */
178         kernel_mem_readonly = 1;
179 #ifdef SMP
180         optcpus = 2;
181 #endif
182         lwp_cpu_lock = LCL_NONE;
183
184         real_vkernel_enable = 0;
185         vsize = sizeof(real_vkernel_enable);
186         sysctlbyname("vm.vkernel_enable", &real_vkernel_enable, &vsize, NULL,0);
187         
188         if (real_vkernel_enable == 0) {
189                 errx(1, "vm.vkernel_enable is 0, must be set "
190                         "to 1 to execute a vkernel!");
191         }
192
193         real_ncpus = 1;
194         vsize = sizeof(real_ncpus);
195         sysctlbyname("hw.ncpu", &real_ncpus, &vsize, NULL, 0);
196
197         if (ac < 2)
198                 usage_help(false);
199
200         while ((c = getopt(ac, av, "c:hsvl:m:n:r:e:i:p:I:U")) != -1) {
201                 switch(c) {
202                 case 'e':
203                         /*
204                          * name=value:name=value:name=value...
205                          * name="value"...
206                          *
207                          * Allow values to be quoted but note that shells
208                          * may remove the quotes, so using this feature
209                          * to embed colons may require a backslash.
210                          */
211                         n = strlen(optarg);
212                         isq = 0;
213
214                         if (eflag == 0) {
215                                 kenv_size = n + 2;
216                                 kern_envp = malloc(kenv_size);
217                                 if (kern_envp == NULL)
218                                         errx(1, "Couldn't allocate %zd bytes for kern_envp", kenv_size);
219                         } else {
220                                 kenv_size2 = kenv_size + n + 1;
221                                 pos = kenv_size - 1;
222                                 if ((tmp = realloc(kern_envp, kenv_size2)) == NULL)
223                                         errx(1, "Couldn't reallocate %zd bytes for kern_envp", kenv_size2);
224                                 kern_envp = tmp;
225                                 kenv_size = kenv_size2;
226                         }
227
228                         for (i = 0, j = pos; i < n; ++i) {
229                                 if (optarg[i] == '"')
230                                         isq ^= 1;
231                                 else if (optarg[i] == '\'')
232                                         isq ^= 2;
233                                 else if (isq == 0 && optarg[i] == ':')
234                                         kern_envp[j++] = 0;
235                                 else
236                                         kern_envp[j++] = optarg[i];
237                         }
238                         kern_envp[j++] = 0;
239                         kern_envp[j++] = 0;
240                         eflag++;
241                         break;
242                 case 's':
243                         boothowto |= RB_SINGLE;
244                         break;
245                 case 'v':
246                         bootverbose = 1;
247                         break;
248                 case 'i':
249                         memImageFile = optarg;
250                         break;
251                 case 'I':
252                         if (netifFileNum < VKNETIF_MAX)
253                                 netifFile[netifFileNum++] = strdup(optarg);
254                         break;
255                 case 'r':
256                         if (bootOnDisk < 0)
257                                 bootOnDisk = 1;
258                         if (diskFileNum + cdFileNum < VKDISK_MAX)
259                                 diskFile[diskFileNum++] = strdup(optarg);
260                         break;
261                 case 'c':
262                         if (bootOnDisk < 0)
263                                 bootOnDisk = 0;
264                         if (diskFileNum + cdFileNum < VKDISK_MAX)
265                                 cdFile[cdFileNum++] = strdup(optarg);
266                         break;
267                 case 'm':
268                         Maxmem_bytes = strtoull(optarg, &suffix, 0);
269                         if (suffix) {
270                                 switch(*suffix) {
271                                 case 'g':
272                                 case 'G':
273                                         Maxmem_bytes <<= 30;
274                                         break;
275                                 case 'm':
276                                 case 'M':
277                                         Maxmem_bytes <<= 20;
278                                         break;
279                                 case 'k':
280                                 case 'K':
281                                         Maxmem_bytes <<= 10;
282                                         break;
283                                 default:
284                                         Maxmem_bytes = 0;
285                                         usage_err("Bad maxmem option");
286                                         /* NOT REACHED */
287                                         break;
288                                 }
289                         }
290                         break;
291                 case 'l':
292                         next_cpu = -1;
293                         if (strncmp("map", optarg, 3) == 0) {
294                                 lwp_cpu_lock = LCL_PER_CPU;
295                                 if (optarg[3] == ',') {
296                                         next_cpu = strtol(optarg+4, &endp, 0);
297                                         if (*endp != '\0')
298                                                 usage_err("Bad target CPU number at '%s'", endp);
299                                 } else {
300                                         next_cpu = 0;
301                                 }
302                                 if (next_cpu < 0 || next_cpu > real_ncpus - 1)
303                                         usage_err("Bad target CPU, valid range is 0-%d", real_ncpus - 1);
304                         } else if (strncmp("any", optarg, 3) == 0) {
305                                 lwp_cpu_lock = LCL_NONE;
306                         } else {
307                                 lwp_cpu_lock = LCL_SINGLE_CPU;
308                                 next_cpu = strtol(optarg, &endp, 0);
309                                 if (*endp != '\0')
310                                         usage_err("Bad target CPU number at '%s'", endp);
311                                 if (next_cpu < 0 || next_cpu > real_ncpus - 1)
312                                         usage_err("Bad target CPU, valid range is 0-%d", real_ncpus - 1);
313                         }
314                         break;
315                 case 'n':
316                         /*
317                          * This value is set up by mp_start(), don't just
318                          * set ncpus here.
319                          */
320 #ifdef SMP
321                         optcpus = strtol(optarg, NULL, 0);
322                         if (optcpus < 1 || optcpus > MAXCPU)
323                                 usage_err("Bad ncpus, valid range is 1-%d", MAXCPU);
324 #else
325                         if (strtol(optarg, NULL, 0) != 1) {
326                                 usage_err("You built a UP vkernel, only 1 cpu!");
327                         }
328 #endif
329                         
330                         break;
331                 case 'p':
332                         pid_file = optarg;      
333                         break;
334                 case 'U':
335                         kernel_mem_readonly = 0;
336                         break;
337                 case 'h':
338                         usage_help(true);
339                         break;
340                 default:
341                         usage_help(false);
342                 }
343         }
344
345         writepid();
346         cpu_disable_intr();
347         init_sys_memory(memImageFile);
348         init_kern_memory();
349         init_globaldata();
350         init_vkernel();
351         setrealcpu();
352         init_kqueue();
353
354         vmm_guest = 1;
355
356         /*
357          * Check TSC
358          */
359         vsize = sizeof(tsc_present);
360         sysctlbyname("hw.tsc_present", &tsc_present, &vsize, NULL, 0);
361         vsize = sizeof(tsc_frequency);
362         sysctlbyname("hw.tsc_frequency", &tsc_frequency, &vsize, NULL, 0);
363         if (tsc_present)
364                 cpu_feature |= CPUID_TSC;
365
366         /*
367          * Check SSE
368          */
369         vsize = sizeof(supports_sse);
370         supports_sse = 0;
371         sysctlbyname("hw.instruction_sse", &supports_sse, &vsize, NULL, 0);
372         init_fpu(supports_sse);
373         if (supports_sse)
374                 cpu_feature |= CPUID_SSE | CPUID_FXSR;
375
376         /*
377          * We boot from the first installed disk.
378          */
379         if (bootOnDisk == 1) {
380                 init_disk(diskFile, diskFileNum, VKD_DISK);
381                 init_disk(cdFile, cdFileNum, VKD_CD);
382         } else {
383                 init_disk(cdFile, cdFileNum, VKD_CD);
384                 init_disk(diskFile, diskFileNum, VKD_DISK);
385         }
386         init_netif(netifFile, netifFileNum);
387         init_exceptions();
388         mi_startup();
389         /* NOT REACHED */
390         exit(EX_SOFTWARE);
391 }
392
393 /*
394  * Initialize system memory.  This is the virtual kernel's 'RAM'.
395  */
396 static
397 void
398 init_sys_memory(char *imageFile)
399 {
400         struct stat st;
401         int i;
402         int fd;
403
404         /*
405          * Figure out the system memory image size.  If an image file was
406          * specified and -m was not specified, use the image file's size.
407          */
408         if (imageFile && stat(imageFile, &st) == 0 && Maxmem_bytes == 0)
409                 Maxmem_bytes = (vm_paddr_t)st.st_size;
410         if ((imageFile == NULL || stat(imageFile, &st) < 0) && 
411             Maxmem_bytes == 0) {
412                 errx(1, "Cannot create new memory file %s unless "
413                        "system memory size is specified with -m",
414                        imageFile);
415                 /* NOT REACHED */
416         }
417
418         /*
419          * Maxmem must be known at this time
420          */
421         if (Maxmem_bytes < 32 * 1024 * 1024 || (Maxmem_bytes & SEG_MASK)) {
422                 errx(1, "Bad maxmem specification: 32MB minimum, "
423                        "multiples of %dMB only",
424                        SEG_SIZE / 1024 / 1024);
425                 /* NOT REACHED */
426         }
427
428         /*
429          * Generate an image file name if necessary, then open/create the
430          * file exclusively locked.  Do not allow multiple virtual kernels
431          * to use the same image file.
432          *
433          * Don't iterate through a million files if we do not have write
434          * access to the directory, stop if our open() failed on a
435          * non-existant file.  Otherwise opens can fail for any number
436          * of reasons (lock failed, file not owned or writable by us, etc).
437          */
438         if (imageFile == NULL) {
439                 for (i = 0; i < 1000000; ++i) {
440                         asprintf(&imageFile, "/var/vkernel/memimg.%06d", i);
441                         fd = open(imageFile, 
442                                   O_RDWR|O_CREAT|O_EXLOCK|O_NONBLOCK, 0644);
443                         if (fd < 0 && stat(imageFile, &st) == 0) {
444                                 free(imageFile);
445                                 continue;
446                         }
447                         break;
448                 }
449         } else {
450                 fd = open(imageFile, O_RDWR|O_CREAT|O_EXLOCK|O_NONBLOCK, 0644);
451         }
452         printf("Using memory file: %s\n", imageFile);
453         if (fd < 0 || fstat(fd, &st) < 0) {
454                 err(1, "Unable to open/create %s", imageFile);
455                 /* NOT REACHED */
456         }
457
458         /*
459          * Truncate or extend the file as necessary.  Clean out the contents
460          * of the file, we want it to be full of holes so we don't waste
461          * time reading in data from an old file that we no longer care
462          * about.
463          */
464         ftruncate(fd, 0);
465         ftruncate(fd, Maxmem_bytes);
466
467         MemImageFd = fd;
468         Maxmem = Maxmem_bytes >> PAGE_SHIFT;
469         physmem = Maxmem;
470 }
471
472 /*
473  * Initialize kernel memory.  This reserves kernel virtual memory by using
474  * MAP_VPAGETABLE
475  */
476
477 static
478 void
479 init_kern_memory(void)
480 {
481         void *base;
482         void *try;
483         char *zero;
484         char dummy;
485         char *topofstack = &dummy;
486         vpte_t pte;
487         int i;
488
489         /*
490          * Memory map our kernel virtual memory space.  Note that the
491          * kernel image itself is not made part of this memory for the
492          * moment.
493          *
494          * The memory map must be segment-aligned so we can properly
495          * offset KernelPTD.
496          *
497          * If the system kernel has a different MAXDSIZ, it might not
498          * be possible to map kernel memory in its prefered location.
499          * Try a number of different locations.
500          */
501         try = (void *)0x40000000;
502         base = NULL;
503         while ((char *)try + KERNEL_KVA_SIZE < topofstack) {
504                 base = mmap(try, KERNEL_KVA_SIZE, PROT_READ|PROT_WRITE,
505                             MAP_FILE|MAP_SHARED|MAP_VPAGETABLE,
506                             MemImageFd, 0);
507                 if (base == try)
508                         break;
509                 if (base != MAP_FAILED)
510                         munmap(base, KERNEL_KVA_SIZE);
511                 try = (char *)try + 0x10000000;
512         }
513         if (base != try) {
514                 err(1, "Unable to mmap() kernel virtual memory!");
515                 /* NOT REACHED */
516         }
517         madvise(base, KERNEL_KVA_SIZE, MADV_NOSYNC);
518         KvaStart = (vm_offset_t)base;
519         KvaSize = KERNEL_KVA_SIZE;
520         KvaEnd = KvaStart + KvaSize;
521
522         /* cannot use kprintf yet */
523         printf("KVM mapped at %p-%p\n", (void *)KvaStart, (void *)KvaEnd);
524
525         /*
526          * Create a top-level page table self-mapping itself. 
527          *
528          * Initialize the page directory at physical page index 0 to point
529          * to an array of page table pages starting at physical page index 1
530          */
531         lseek(MemImageFd, 0L, 0);
532         for (i = 0; i < KERNEL_KVA_SIZE / SEG_SIZE; ++i) {
533                 pte = ((i + 1) * PAGE_SIZE) | VPTE_V | VPTE_R | VPTE_W;
534                 write(MemImageFd, &pte, sizeof(pte));
535         }
536
537         /*
538          * Initialize the PTEs in the page table pages required to map the
539          * page table itself.  This includes mapping the page directory page
540          * at the base so we go one more loop then normal.
541          */
542         lseek(MemImageFd, PAGE_SIZE, 0);
543         for (i = 0; i <= KERNEL_KVA_SIZE / SEG_SIZE * sizeof(vpte_t); ++i) {
544                 pte = (i * PAGE_SIZE) | VPTE_V | VPTE_R | VPTE_W;
545                 write(MemImageFd, &pte, sizeof(pte));
546         }
547
548         /*
549          * Initialize remaining PTEs to 0.  We may be reusing a memory image
550          * file.  This is approximately a megabyte.
551          */
552         i = (KERNEL_KVA_SIZE / PAGE_SIZE - i) * sizeof(pte);
553         zero = malloc(PAGE_SIZE);
554         bzero(zero, PAGE_SIZE);
555         while (i) {
556                 write(MemImageFd, zero, (i > PAGE_SIZE) ? PAGE_SIZE : i);
557                 i = i - ((i > PAGE_SIZE) ? PAGE_SIZE : i);
558         }
559         free(zero);
560
561         /*
562          * Enable the page table and calculate pointers to our self-map
563          * for easy kernel page table manipulation.
564          *
565          * KernelPTA must be offset so we can do direct VA translations
566          */
567         mcontrol(base, KERNEL_KVA_SIZE, MADV_SETMAP,
568                  0 | VPTE_R | VPTE_W | VPTE_V);
569         KernelPTD = (vpte_t *)base;                       /* pg directory */
570         KernelPTA = (vpte_t *)((char *)base + PAGE_SIZE); /* pg table pages */
571         KernelPTA -= KvaStart >> PAGE_SHIFT;
572
573         /*
574          * phys_avail[] represents unallocated physical memory.  MI code
575          * will use phys_avail[] to create the vm_page array.
576          */
577         phys_avail[0] = PAGE_SIZE +
578                         KERNEL_KVA_SIZE / PAGE_SIZE * sizeof(vpte_t);
579         phys_avail[0] = (phys_avail[0] + PAGE_MASK) & ~(vm_paddr_t)PAGE_MASK;
580         phys_avail[1] = Maxmem_bytes;
581
582         /*
583          * (virtual_start, virtual_end) represent unallocated kernel virtual
584          * memory.  MI code will create kernel_map using these parameters.
585          */
586         virtual_start = KvaStart + PAGE_SIZE +
587                         KERNEL_KVA_SIZE / PAGE_SIZE * sizeof(vpte_t);
588         virtual_start = (virtual_start + PAGE_MASK) & ~(vm_offset_t)PAGE_MASK;
589         virtual_end = KvaStart + KERNEL_KVA_SIZE;
590
591         /*
592          * kernel_vm_end could be set to virtual_end but we want some 
593          * indication of how much of the kernel_map we've used, so
594          * set it low and let pmap_growkernel increase it even though we
595          * don't need to create any new page table pages.
596          */
597         kernel_vm_end = virtual_start;
598
599         /*
600          * Allocate space for process 0's UAREA.
601          */
602         proc0paddr = (void *)virtual_start;
603         for (i = 0; i < UPAGES; ++i) {
604                 pmap_kenter_quick(virtual_start, phys_avail[0]);
605                 virtual_start += PAGE_SIZE;
606                 phys_avail[0] += PAGE_SIZE;
607         }
608
609         /*
610          * crashdumpmap
611          */
612         crashdumpmap = virtual_start;
613         virtual_start += MAXDUMPPGS * PAGE_SIZE;
614
615         /*
616          * msgbufp maps the system message buffer
617          */
618         assert((MSGBUF_SIZE & PAGE_MASK) == 0);
619         msgbufp = (void *)virtual_start;
620         for (i = 0; i < (MSGBUF_SIZE >> PAGE_SHIFT); ++i) {
621                 pmap_kenter_quick(virtual_start, phys_avail[0]);
622                 virtual_start += PAGE_SIZE;
623                 phys_avail[0] += PAGE_SIZE;
624         }
625         msgbufinit(msgbufp, MSGBUF_SIZE);
626
627         /*
628          * used by kern_memio for /dev/mem access
629          */
630         ptvmmap = (caddr_t)virtual_start;
631         virtual_start += PAGE_SIZE;
632
633         /*
634          * Bootstrap the kernel_pmap
635          */
636         pmap_bootstrap();
637 }
638
639 /*
640  * Map the per-cpu globaldata for cpu #0.  Allocate the space using
641  * virtual_start and phys_avail[0]
642  */
643 static
644 void
645 init_globaldata(void)
646 {
647         int i;
648         vm_paddr_t pa;
649         vm_offset_t va;
650
651         /*
652          * Reserve enough KVA to cover possible cpus.  This is a considerable
653          * amount of KVA since the privatespace structure includes two 
654          * whole page table mappings.
655          */
656         virtual_start = (virtual_start + SEG_MASK) & ~(vm_offset_t)SEG_MASK;
657         CPU_prvspace = (void *)virtual_start;
658         virtual_start += sizeof(struct privatespace) * SMP_MAXCPU;
659
660         /*
661          * Allocate enough physical memory to cover the mdglobaldata
662          * portion of the space and the idle stack and map the pages
663          * into KVA.  For cpu #0 only.
664          */
665         for (i = 0; i < sizeof(struct mdglobaldata); i += PAGE_SIZE) {
666                 pa = phys_avail[0];
667                 va = (vm_offset_t)&CPU_prvspace[0].mdglobaldata + i;
668                 pmap_kenter_quick(va, pa);
669                 phys_avail[0] += PAGE_SIZE;
670         }
671         for (i = 0; i < sizeof(CPU_prvspace[0].idlestack); i += PAGE_SIZE) {
672                 pa = phys_avail[0];
673                 va = (vm_offset_t)&CPU_prvspace[0].idlestack + i;
674                 pmap_kenter_quick(va, pa);
675                 phys_avail[0] += PAGE_SIZE;
676         }
677
678         /*
679          * Setup the %fs for cpu #0.  The mycpu macro works after this
680          * point.  Note that %gs is used by pthreads.
681          */
682         tls_set_fs(&CPU_prvspace[0], sizeof(struct privatespace));
683 }
684
685 /*
686  * Initialize very low level systems including thread0, proc0, etc.
687  */
688 static
689 void
690 init_vkernel(void)
691 {
692         struct mdglobaldata *gd;
693
694         gd = &CPU_prvspace[0].mdglobaldata;
695         bzero(gd, sizeof(*gd));
696
697         gd->mi.gd_curthread = &thread0;
698         thread0.td_gd = &gd->mi;
699         ncpus = 1;
700         ncpus2 = 1;     /* rounded down power of 2 */
701         ncpus_fit = 1;  /* rounded up power of 2 */
702         /* ncpus2_mask and ncpus_fit_mask are 0 */
703         init_param1();
704         gd->mi.gd_prvspace = &CPU_prvspace[0];
705         mi_gdinit(&gd->mi, 0);
706         cpu_gdinit(gd, 0);
707         mi_proc0init(&gd->mi, proc0paddr);
708         lwp0.lwp_md.md_regs = &proc0_tf;
709
710         /*init_locks();*/
711 #ifdef SMP
712         /*
713          * Get the initial mplock with a count of 1 for the BSP.
714          * This uses a LOGICAL cpu ID, ie BSP == 0.
715          */
716         cpu_get_initial_mplock();
717 #endif
718         cninit();
719         rand_initialize();
720 #if 0   /* #ifdef DDB */
721         kdb_init();
722         if (boothowto & RB_KDB)
723                 Debugger("Boot flags requested debugger");
724 #endif
725         identcpu();
726 #if 0
727         initializecpu();        /* Initialize CPU registers */
728 #endif
729         init_param2((phys_avail[1] - phys_avail[0]) / PAGE_SIZE);
730
731 #if 0
732         /*
733          * Map the message buffer
734          */
735         for (off = 0; off < round_page(MSGBUF_SIZE); off += PAGE_SIZE)
736                 pmap_kenter((vm_offset_t)msgbufp + off, avail_end + off);
737         msgbufinit(msgbufp, MSGBUF_SIZE);
738 #endif
739 #if 0
740         thread0.td_pcb_cr3 ... MMU
741         lwp0.lwp_md.md_regs = &proc0_tf;
742 #endif
743 }
744
745 /*
746  * Filesystem image paths for the virtual kernel are optional.  
747  * If specified they each should point to a disk image, 
748  * the first of which will become the root disk.
749  *
750  * The virtual kernel caches data from our 'disk' just like a normal kernel,
751  * so we do not really want the real kernel to cache the data too.  Use
752  * O_DIRECT to remove the duplication.
753  */
754 static
755 void
756 init_disk(char *diskExp[], int diskFileNum, enum vkdisk_type type)
757 {
758         int i;  
759
760         if (diskFileNum == 0)
761                 return;
762
763         for(i=0; i < diskFileNum; i++){
764                 char *fname;
765                 fname = diskExp[i];
766
767                 if (fname == NULL) {
768                         warnx("Invalid argument to '-r'");
769                         continue;
770                 }
771
772                 if (DiskNum < VKDISK_MAX) {
773                         struct stat st; 
774                         struct vkdisk_info* info = NULL;
775                         int fd;
776                         size_t l = 0;
777
778                         if (type == VKD_DISK)
779                             fd = open(fname, O_RDWR|O_DIRECT, 0644);
780                         else
781                             fd = open(fname, O_RDONLY|O_DIRECT, 0644);
782                         if (fd < 0 || fstat(fd, &st) < 0) {
783                                 err(1, "Unable to open/create %s", fname);
784                                 /* NOT REACHED */
785                         }
786                         if (S_ISREG(st.st_mode)) {
787                                 if (flock(fd, LOCK_EX|LOCK_NB) < 0) {
788                                         errx(1, "Disk image %s is already "
789                                                 "in use\n", fname);
790                                         /* NOT REACHED */
791                                 }
792                         }
793
794                         info = &DiskInfo[DiskNum];
795                         l = strlen(fname);
796
797                         info->unit = i;
798                         info->fd = fd;
799                         info->type = type;
800                         memcpy(info->fname, fname, l);
801
802                         if (DiskNum == 0) {
803                                 if (type == VKD_CD) {
804                                     rootdevnames[0] = "cd9660:vcd0a";
805                                 } else if (type == VKD_DISK) {
806                                     rootdevnames[0] = "ufs:vkd0s0a";
807                                     rootdevnames[1] = "ufs:vkd0s1a";
808                                 }
809                         }
810
811                         DiskNum++;
812                 } else {
813                         warnx("vkd%d (%s) > VKDISK_MAX", DiskNum, fname);
814                         continue;
815                 }
816         }
817 }
818
819 static
820 int
821 netif_set_tapflags(int tap_unit, int f, int s)
822 {
823         struct ifreq ifr;
824         int flags;
825
826         bzero(&ifr, sizeof(ifr));
827
828         snprintf(ifr.ifr_name, sizeof(ifr.ifr_name), "tap%d", tap_unit);
829         if (ioctl(s, SIOCGIFFLAGS, &ifr) < 0) {
830                 warn("tap%d: ioctl(SIOCGIFFLAGS) failed", tap_unit);
831                 return -1;
832         }
833
834         /*
835          * Adjust if_flags
836          *
837          * If the flags are already set/cleared, then we return
838          * immediately to avoid extra syscalls
839          */
840         flags = (ifr.ifr_flags & 0xffff) | (ifr.ifr_flagshigh << 16);
841         if (f < 0) {
842                 /* Turn off flags */
843                 f = -f;
844                 if ((flags & f) == 0)
845                         return 0;
846                 flags &= ~f;
847         } else {
848                 /* Turn on flags */
849                 if (flags & f)
850                         return 0;
851                 flags |= f;
852         }
853
854         /*
855          * Fix up ifreq.ifr_name, since it may be trashed
856          * in previous ioctl(SIOCGIFFLAGS)
857          */
858         snprintf(ifr.ifr_name, sizeof(ifr.ifr_name), "tap%d", tap_unit);
859
860         ifr.ifr_flags = flags & 0xffff;
861         ifr.ifr_flagshigh = flags >> 16;
862         if (ioctl(s, SIOCSIFFLAGS, &ifr) < 0) {
863                 warn("tap%d: ioctl(SIOCSIFFLAGS) failed", tap_unit);
864                 return -1;
865         }
866         return 0;
867 }
868
869 static
870 int
871 netif_set_tapaddr(int tap_unit, in_addr_t addr, in_addr_t mask, int s)
872 {
873         struct ifaliasreq ifra;
874         struct sockaddr_in *in;
875
876         bzero(&ifra, sizeof(ifra));
877         snprintf(ifra.ifra_name, sizeof(ifra.ifra_name), "tap%d", tap_unit);
878
879         /* Setup address */
880         in = (struct sockaddr_in *)&ifra.ifra_addr;
881         in->sin_family = AF_INET;
882         in->sin_len = sizeof(*in);
883         in->sin_addr.s_addr = addr;
884
885         if (mask != 0) {
886                 /* Setup netmask */
887                 in = (struct sockaddr_in *)&ifra.ifra_mask;
888                 in->sin_len = sizeof(*in);
889                 in->sin_addr.s_addr = mask;
890         }
891
892         if (ioctl(s, SIOCAIFADDR, &ifra) < 0) {
893                 warn("tap%d: ioctl(SIOCAIFADDR) failed", tap_unit);
894                 return -1;
895         }
896         return 0;
897 }
898
899 static
900 int
901 netif_add_tap2brg(int tap_unit, const char *ifbridge, int s)
902 {
903         struct ifbreq ifbr;
904         struct ifdrv ifd;
905
906         bzero(&ifbr, sizeof(ifbr));
907         snprintf(ifbr.ifbr_ifsname, sizeof(ifbr.ifbr_ifsname),
908                  "tap%d", tap_unit);
909
910         bzero(&ifd, sizeof(ifd));
911         strlcpy(ifd.ifd_name, ifbridge, sizeof(ifd.ifd_name));
912         ifd.ifd_cmd = BRDGADD;
913         ifd.ifd_len = sizeof(ifbr);
914         ifd.ifd_data = &ifbr;
915
916         if (ioctl(s, SIOCSDRVSPEC, &ifd) < 0) {
917                 /*
918                  * 'errno == EEXIST' means that the tap(4) is already
919                  * a member of the bridge(4)
920                  */
921                 if (errno != EEXIST) {
922                         warn("ioctl(%s, SIOCSDRVSPEC) failed", ifbridge);
923                         return -1;
924                 }
925         }
926         return 0;
927 }
928
929 #define TAPDEV_OFLAGS   (O_RDWR | O_NONBLOCK)
930
931 /*
932  * Locate the first unused tap(4) device file if auto mode is requested,
933  * or open the user supplied device file, and bring up the corresponding
934  * tap(4) interface.
935  *
936  * NOTE: Only tap(4) device file is supported currently
937  */
938 static
939 int
940 netif_open_tap(const char *netif, int *tap_unit, int s)
941 {
942         char tap_dev[MAXPATHLEN];
943         int tap_fd, failed;
944         struct stat st;
945         char *dname;
946
947         *tap_unit = -1;
948
949         if (strcmp(netif, "auto") == 0) {
950                 /*
951                  * Find first unused tap(4) device file
952                  */
953                 tap_fd = open("/dev/tap", TAPDEV_OFLAGS);
954                 if (tap_fd < 0) {
955                         warnc(errno, "Unable to find a free tap(4)");
956                         return -1;
957                 }
958         } else {
959                 /*
960                  * User supplied tap(4) device file or unix socket.
961                  */
962                 if (netif[0] == '/')    /* Absolute path */
963                         strlcpy(tap_dev, netif, sizeof(tap_dev));
964                 else
965                         snprintf(tap_dev, sizeof(tap_dev), "/dev/%s", netif);
966
967                 tap_fd = open(tap_dev, TAPDEV_OFLAGS);
968
969                 /*
970                  * If we cannot open normally try to connect to it.
971                  */
972                 if (tap_fd < 0)
973                         tap_fd = unix_connect(tap_dev);
974
975                 if (tap_fd < 0) {
976                         warn("Unable to open %s", tap_dev);
977                         return -1;
978                 }
979         }
980
981         /*
982          * Check whether the device file is a tap(4)
983          */
984         if (fstat(tap_fd, &st) < 0) {
985                 failed = 1;
986         } else if (S_ISCHR(st.st_mode)) {
987                 dname = fdevname(tap_fd);
988                 if (dname)
989                         dname = strstr(dname, "tap");
990                 if (dname) {
991                         /*
992                          * Bring up the corresponding tap(4) interface
993                          */
994                         *tap_unit = strtol(dname + 3, NULL, 10);
995                         printf("TAP UNIT %d\n", *tap_unit);
996                         if (netif_set_tapflags(*tap_unit, IFF_UP, s) == 0)
997                                 failed = 0;
998                         else
999                                 failed = 1;
1000                 } else {
1001                         failed = 1;
1002                 }
1003         } else if (S_ISSOCK(st.st_mode)) {
1004                 /*
1005                  * Special socket connection (typically to vknet).  We
1006                  * do not have to do anything.
1007                  */
1008                 failed = 0;
1009         } else {
1010                 failed = 1;
1011         }
1012
1013         if (failed) {
1014                 warnx("%s is not a tap(4) device or socket", tap_dev);
1015                 close(tap_fd);
1016                 tap_fd = -1;
1017                 *tap_unit = -1;
1018         }
1019         return tap_fd;
1020 }
1021
1022 static int
1023 unix_connect(const char *path)
1024 {
1025         struct sockaddr_un sunx;
1026         int len;
1027         int net_fd;
1028         int sndbuf = 262144;
1029         struct stat st;
1030
1031         snprintf(sunx.sun_path, sizeof(sunx.sun_path), "%s", path);
1032         len = offsetof(struct sockaddr_un, sun_path[strlen(sunx.sun_path)]);
1033         ++len;  /* include nul */
1034         sunx.sun_family = AF_UNIX;
1035         sunx.sun_len = len;
1036
1037         net_fd = socket(AF_UNIX, SOCK_SEQPACKET, 0);
1038         if (net_fd < 0)
1039                 return(-1);
1040         if (connect(net_fd, (void *)&sunx, len) < 0) {
1041                 close(net_fd);
1042                 return(-1);
1043         }
1044         setsockopt(net_fd, SOL_SOCKET, SO_SNDBUF, &sndbuf, sizeof(sndbuf));
1045         if (fstat(net_fd, &st) == 0)
1046                 printf("Network socket buffer: %d bytes\n", st.st_blksize);
1047         fcntl(net_fd, F_SETFL, O_NONBLOCK);
1048         return(net_fd);
1049 }
1050
1051 #undef TAPDEV_MAJOR
1052 #undef TAPDEV_MINOR
1053 #undef TAPDEV_OFLAGS
1054
1055 /*
1056  * Following syntax is supported,
1057  * 1) x.x.x.x             tap(4)'s address is x.x.x.x
1058  *
1059  * 2) x.x.x.x/z           tap(4)'s address is x.x.x.x
1060  *                        tap(4)'s netmask len is z
1061  *
1062  * 3) x.x.x.x:y.y.y.y     tap(4)'s address is x.x.x.x
1063  *                        pseudo netif's address is y.y.y.y
1064  *
1065  * 4) x.x.x.x:y.y.y.y/z   tap(4)'s address is x.x.x.x
1066  *                        pseudo netif's address is y.y.y.y
1067  *                        tap(4) and pseudo netif's netmask len are z
1068  *
1069  * 5) bridgeX             tap(4) will be added to bridgeX
1070  *
1071  * 6) bridgeX:y.y.y.y     tap(4) will be added to bridgeX
1072  *                        pseudo netif's address is y.y.y.y
1073  *
1074  * 7) bridgeX:y.y.y.y/z   tap(4) will be added to bridgeX
1075  *                        pseudo netif's address is y.y.y.y
1076  *                        pseudo netif's netmask len is z
1077  */
1078 static
1079 int
1080 netif_init_tap(int tap_unit, in_addr_t *addr, in_addr_t *mask, int s)
1081 {
1082         in_addr_t tap_addr, netmask, netif_addr;
1083         int next_netif_addr;
1084         char *tok, *masklen_str, *ifbridge;
1085
1086         *addr = 0;
1087         *mask = 0;
1088
1089         tok = strtok(NULL, ":/");
1090         if (tok == NULL) {
1091                 /*
1092                  * Nothing special, simply use tap(4) as backend
1093                  */
1094                 return 0;
1095         }
1096
1097         if (inet_pton(AF_INET, tok, &tap_addr) > 0) {
1098                 /*
1099                  * tap(4)'s address is supplied
1100                  */
1101                 ifbridge = NULL;
1102
1103                 /*
1104                  * If there is next token, then it may be pseudo
1105                  * netif's address or netmask len for tap(4)
1106                  */
1107                 next_netif_addr = 0;
1108         } else {
1109                 /*
1110                  * Not tap(4)'s address, assume it as a bridge(4)
1111                  * iface name
1112                  */
1113                 tap_addr = 0;
1114                 ifbridge = tok;
1115
1116                 /*
1117                  * If there is next token, then it must be pseudo
1118                  * netif's address
1119                  */
1120                 next_netif_addr = 1;
1121         }
1122
1123         netmask = netif_addr = 0;
1124
1125         tok = strtok(NULL, ":/");
1126         if (tok == NULL)
1127                 goto back;
1128
1129         if (inet_pton(AF_INET, tok, &netif_addr) <= 0) {
1130                 if (next_netif_addr) {
1131                         warnx("Invalid pseudo netif address: %s", tok);
1132                         return -1;
1133                 }
1134                 netif_addr = 0;
1135
1136                 /*
1137                  * Current token is not address, then it must be netmask len
1138                  */
1139                 masklen_str = tok;
1140         } else {
1141                 /*
1142                  * Current token is pseudo netif address, if there is next token
1143                  * it must be netmask len
1144                  */
1145                 masklen_str = strtok(NULL, "/");
1146         }
1147
1148         /* Calculate netmask */
1149         if (masklen_str != NULL) {
1150                 u_long masklen;
1151
1152                 masklen = strtoul(masklen_str, NULL, 10);
1153                 if (masklen < 32 && masklen > 0) {
1154                         netmask = htonl(~((1LL << (32 - masklen)) - 1)
1155                                         & 0xffffffff);
1156                 } else {
1157                         warnx("Invalid netmask len: %lu", masklen);
1158                         return -1;
1159                 }
1160         }
1161
1162         /* Make sure there is no more token left */
1163         if (strtok(NULL, ":/") != NULL) {
1164                 warnx("Invalid argument to '-I'");
1165                 return -1;
1166         }
1167
1168 back:
1169         if (tap_unit < 0) {
1170                 /* Do nothing */
1171         } else if (ifbridge == NULL) {
1172                 /* Set tap(4) address/netmask */
1173                 if (netif_set_tapaddr(tap_unit, tap_addr, netmask, s) < 0)
1174                         return -1;
1175         } else {
1176                 /* Tie tap(4) to bridge(4) */
1177                 if (netif_add_tap2brg(tap_unit, ifbridge, s) < 0)
1178                         return -1;
1179         }
1180
1181         *addr = netif_addr;
1182         *mask = netmask;
1183         return 0;
1184 }
1185
1186 /*
1187  * NetifInfo[] will be filled for pseudo netif initialization.
1188  * NetifNum will be bumped to reflect the number of valid entries
1189  * in NetifInfo[].
1190  */
1191 static
1192 void
1193 init_netif(char *netifExp[], int netifExpNum)
1194 {
1195         int i, s;
1196
1197         if (netifExpNum == 0)
1198                 return;
1199
1200         s = socket(AF_INET, SOCK_DGRAM, 0);     /* for ioctl(SIOC) */
1201         if (s < 0)
1202                 return;
1203
1204         for (i = 0; i < netifExpNum; ++i) {
1205                 struct vknetif_info *info;
1206                 in_addr_t netif_addr, netif_mask;
1207                 int tap_fd, tap_unit;
1208                 char *netif;
1209
1210                 netif = strtok(netifExp[i], ":");
1211                 if (netif == NULL) {
1212                         warnx("Invalid argument to '-I'");
1213                         continue;
1214                 }
1215
1216                 /*
1217                  * Open tap(4) device file and bring up the
1218                  * corresponding interface
1219                  */
1220                 tap_fd = netif_open_tap(netif, &tap_unit, s);
1221                 if (tap_fd < 0)
1222                         continue;
1223
1224                 /*
1225                  * Initialize tap(4) and get address/netmask
1226                  * for pseudo netif
1227                  *
1228                  * NB: Rest part of netifExp[i] is passed
1229                  *     to netif_init_tap() implicitly.
1230                  */
1231                 if (netif_init_tap(tap_unit, &netif_addr, &netif_mask, s) < 0) {
1232                         /*
1233                          * NB: Closing tap(4) device file will bring
1234                          *     down the corresponding interface
1235                          */
1236                         close(tap_fd);
1237                         continue;
1238                 }
1239
1240                 info = &NetifInfo[NetifNum];
1241                 info->tap_fd = tap_fd;
1242                 info->tap_unit = tap_unit;
1243                 info->netif_addr = netif_addr;
1244                 info->netif_mask = netif_mask;
1245
1246                 NetifNum++;
1247                 if (NetifNum >= VKNETIF_MAX)    /* XXX will this happen? */
1248                         break;
1249         }
1250         close(s);
1251 }
1252
1253 /*
1254  * Create the pid file and leave it open and locked while the vkernel is
1255  * running.  This allows a script to use /usr/bin/lockf to probe whether
1256  * a vkernel is still running (so as not to accidently kill an unrelated
1257  * process from a stale pid file).
1258  */
1259 static
1260 void
1261 writepid(void)
1262 {
1263         char buf[32];
1264         int fd;
1265
1266         if (pid_file != NULL) {
1267                 snprintf(buf, sizeof(buf), "%ld\n", (long)getpid());
1268                 fd = open(pid_file, O_RDWR|O_CREAT|O_EXLOCK|O_NONBLOCK, 0666);
1269                 if (fd < 0) {
1270                         if (errno == EWOULDBLOCK) {
1271                                 perror("Failed to lock pidfile, "
1272                                        "vkernel already running");
1273                         } else {
1274                                 perror("Failed to create pidfile");
1275                         }
1276                         exit(EX_SOFTWARE);
1277                 }
1278                 ftruncate(fd, 0);
1279                 write(fd, buf, strlen(buf));
1280                 /* leave the file open to maintain the lock */
1281         }
1282 }
1283
1284 static
1285 void
1286 cleanpid( void ) 
1287 {
1288         if (pid_file != NULL) {
1289                 if (unlink(pid_file) < 0)
1290                         perror("Warning: couldn't remove pidfile");
1291         }
1292 }
1293
1294 static
1295 void
1296 usage_err(const char *ctl, ...)
1297 {
1298         va_list va;
1299
1300         va_start(va, ctl);
1301         vfprintf(stderr, ctl, va);
1302         va_end(va);
1303         fprintf(stderr, "\n");
1304         exit(EX_USAGE);
1305 }
1306
1307 static
1308 void
1309 usage_help(_Bool help)
1310 {
1311         fprintf(stderr, "Usage: %s [-hsUv] [-c file] [-e name=value:name=value:...]\n"
1312             "\t[-i file] [-I interface[:address1[:address2][/netmask]]] [-l cpulock]\n"
1313             "\t[-m size] [-n numcpus] [-p file] [-r file]\n", save_av[0]);
1314
1315         if (help)
1316                 fprintf(stderr, "\nArguments:\n"
1317                     "\t-c\tSpecify a readonly CD-ROM image file to be used by the kernel.\n"
1318                     "\t-e\tSpecify an environment to be used by the kernel.\n"
1319                     "\t-h\tThis list of options.\n"
1320                     "\t-i\tSpecify a memory image file to be used by the virtual kernel.\n"
1321                     "\t-I\tCreate a virtual network device.\n"
1322                     "\t-l\tSpecify which, if any, real CPUs to lock virtual CPUs to.\n"
1323                     "\t-m\tSpecify the amount of memory to be used by the kernel in bytes.\n"
1324                     "\t-n\tSpecify the number of CPUs you wish to emulate.\n"
1325                     "\t-p\tSpecify a file in which to store the process ID.\n"
1326                     "\t-r\tSpecify a R/W disk image file to be used by the kernel.\n"
1327                     "\t-s\tBoot into single-user mode.\n"
1328                     "\t-U\tEnable writing to kernel memory and module loading.\n"
1329                     "\t-v\tTurn on verbose booting.\n");
1330
1331         exit(EX_USAGE);
1332 }
1333
1334 void
1335 cpu_reset(void)
1336 {
1337         kprintf("cpu reset, rebooting vkernel\n");
1338         closefrom(3);
1339         cleanpid();
1340         execv(save_av[0], save_av);
1341 }
1342
1343 void
1344 cpu_halt(void)
1345 {
1346         kprintf("cpu halt, exiting vkernel\n");
1347         cleanpid();
1348         exit(EX_OK);
1349 }
1350
1351 void
1352 setrealcpu(void)
1353 {
1354         switch(lwp_cpu_lock) {
1355         case LCL_PER_CPU:
1356                 if (bootverbose)
1357                         kprintf("Locking CPU%d to real cpu %d\n",
1358                                 mycpuid, next_cpu);
1359                 usched_set(getpid(), USCHED_SET_CPU, &next_cpu, sizeof(next_cpu));
1360                 next_cpu++;
1361                 if (next_cpu >= real_ncpus)
1362                         next_cpu = 0;
1363                 break;
1364         case LCL_SINGLE_CPU:
1365                 if (bootverbose)
1366                         kprintf("Locking CPU%d to real cpu %d\n",
1367                                 mycpuid, next_cpu);
1368                 usched_set(getpid(), USCHED_SET_CPU, &next_cpu, sizeof(next_cpu));
1369                 break;
1370         default:
1371                 /* do not map virtual cpus to real cpus */
1372                 break;
1373         }
1374 }
1375