Merge branch 'vendor/GDB'
[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         /*
355          * Check TSC
356          */
357         vsize = sizeof(tsc_present);
358         sysctlbyname("hw.tsc_present", &tsc_present, &vsize, NULL, 0);
359         vsize = sizeof(tsc_frequency);
360         sysctlbyname("hw.tsc_frequency", &tsc_frequency, &vsize, NULL, 0);
361         if (tsc_present)
362                 cpu_feature |= CPUID_TSC;
363
364         /*
365          * Check SSE
366          */
367         vsize = sizeof(supports_sse);
368         supports_sse = 0;
369         sysctlbyname("hw.instruction_sse", &supports_sse, &vsize, NULL, 0);
370         init_fpu(supports_sse);
371         if (supports_sse)
372                 cpu_feature |= CPUID_SSE | CPUID_FXSR;
373
374         /*
375          * We boot from the first installed disk.
376          */
377         if (bootOnDisk == 1) {
378                 init_disk(diskFile, diskFileNum, VKD_DISK);
379                 init_disk(cdFile, cdFileNum, VKD_CD);
380         } else {
381                 init_disk(cdFile, cdFileNum, VKD_CD);
382                 init_disk(diskFile, diskFileNum, VKD_DISK);
383         }
384         init_netif(netifFile, netifFileNum);
385         init_exceptions();
386         mi_startup();
387         /* NOT REACHED */
388         exit(EX_SOFTWARE);
389 }
390
391 /*
392  * Initialize system memory.  This is the virtual kernel's 'RAM'.
393  */
394 static
395 void
396 init_sys_memory(char *imageFile)
397 {
398         struct stat st;
399         int i;
400         int fd;
401
402         /*
403          * Figure out the system memory image size.  If an image file was
404          * specified and -m was not specified, use the image file's size.
405          */
406         if (imageFile && stat(imageFile, &st) == 0 && Maxmem_bytes == 0)
407                 Maxmem_bytes = (vm_paddr_t)st.st_size;
408         if ((imageFile == NULL || stat(imageFile, &st) < 0) && 
409             Maxmem_bytes == 0) {
410                 errx(1, "Cannot create new memory file %s unless "
411                        "system memory size is specified with -m",
412                        imageFile);
413                 /* NOT REACHED */
414         }
415
416         /*
417          * Maxmem must be known at this time
418          */
419         if (Maxmem_bytes < 32 * 1024 * 1024 || (Maxmem_bytes & SEG_MASK)) {
420                 errx(1, "Bad maxmem specification: 32MB minimum, "
421                        "multiples of %dMB only",
422                        SEG_SIZE / 1024 / 1024);
423                 /* NOT REACHED */
424         }
425
426         /*
427          * Generate an image file name if necessary, then open/create the
428          * file exclusively locked.  Do not allow multiple virtual kernels
429          * to use the same image file.
430          *
431          * Don't iterate through a million files if we do not have write
432          * access to the directory, stop if our open() failed on a
433          * non-existant file.  Otherwise opens can fail for any number
434          * of reasons (lock failed, file not owned or writable by us, etc).
435          */
436         if (imageFile == NULL) {
437                 for (i = 0; i < 1000000; ++i) {
438                         asprintf(&imageFile, "/var/vkernel/memimg.%06d", i);
439                         fd = open(imageFile, 
440                                   O_RDWR|O_CREAT|O_EXLOCK|O_NONBLOCK, 0644);
441                         if (fd < 0 && stat(imageFile, &st) == 0) {
442                                 free(imageFile);
443                                 continue;
444                         }
445                         break;
446                 }
447         } else {
448                 fd = open(imageFile, O_RDWR|O_CREAT|O_EXLOCK|O_NONBLOCK, 0644);
449         }
450         printf("Using memory file: %s\n", imageFile);
451         if (fd < 0 || fstat(fd, &st) < 0) {
452                 err(1, "Unable to open/create %s", imageFile);
453                 /* NOT REACHED */
454         }
455
456         /*
457          * Truncate or extend the file as necessary.  Clean out the contents
458          * of the file, we want it to be full of holes so we don't waste
459          * time reading in data from an old file that we no longer care
460          * about.
461          */
462         ftruncate(fd, 0);
463         ftruncate(fd, Maxmem_bytes);
464
465         MemImageFd = fd;
466         Maxmem = Maxmem_bytes >> PAGE_SHIFT;
467         physmem = Maxmem;
468 }
469
470 /*
471  * Initialize kernel memory.  This reserves kernel virtual memory by using
472  * MAP_VPAGETABLE
473  */
474
475 static
476 void
477 init_kern_memory(void)
478 {
479         void *base;
480         void *try;
481         char *zero;
482         char dummy;
483         char *topofstack = &dummy;
484         vpte_t pte;
485         int i;
486
487         /*
488          * Memory map our kernel virtual memory space.  Note that the
489          * kernel image itself is not made part of this memory for the
490          * moment.
491          *
492          * The memory map must be segment-aligned so we can properly
493          * offset KernelPTD.
494          *
495          * If the system kernel has a different MAXDSIZ, it might not
496          * be possible to map kernel memory in its prefered location.
497          * Try a number of different locations.
498          */
499         try = (void *)0x40000000;
500         base = NULL;
501         while ((char *)try + KERNEL_KVA_SIZE < topofstack) {
502                 base = mmap(try, KERNEL_KVA_SIZE, PROT_READ|PROT_WRITE,
503                             MAP_FILE|MAP_SHARED|MAP_VPAGETABLE,
504                             MemImageFd, 0);
505                 if (base == try)
506                         break;
507                 if (base != MAP_FAILED)
508                         munmap(base, KERNEL_KVA_SIZE);
509                 try = (char *)try + 0x10000000;
510         }
511         if (base != try) {
512                 err(1, "Unable to mmap() kernel virtual memory!");
513                 /* NOT REACHED */
514         }
515         madvise(base, KERNEL_KVA_SIZE, MADV_NOSYNC);
516         KvaStart = (vm_offset_t)base;
517         KvaSize = KERNEL_KVA_SIZE;
518         KvaEnd = KvaStart + KvaSize;
519
520         /* cannot use kprintf yet */
521         printf("KVM mapped at %p-%p\n", (void *)KvaStart, (void *)KvaEnd);
522
523         /*
524          * Create a top-level page table self-mapping itself. 
525          *
526          * Initialize the page directory at physical page index 0 to point
527          * to an array of page table pages starting at physical page index 1
528          */
529         lseek(MemImageFd, 0L, 0);
530         for (i = 0; i < KERNEL_KVA_SIZE / SEG_SIZE; ++i) {
531                 pte = ((i + 1) * PAGE_SIZE) | VPTE_V | VPTE_R | VPTE_W;
532                 write(MemImageFd, &pte, sizeof(pte));
533         }
534
535         /*
536          * Initialize the PTEs in the page table pages required to map the
537          * page table itself.  This includes mapping the page directory page
538          * at the base so we go one more loop then normal.
539          */
540         lseek(MemImageFd, PAGE_SIZE, 0);
541         for (i = 0; i <= KERNEL_KVA_SIZE / SEG_SIZE * sizeof(vpte_t); ++i) {
542                 pte = (i * PAGE_SIZE) | VPTE_V | VPTE_R | VPTE_W;
543                 write(MemImageFd, &pte, sizeof(pte));
544         }
545
546         /*
547          * Initialize remaining PTEs to 0.  We may be reusing a memory image
548          * file.  This is approximately a megabyte.
549          */
550         i = (KERNEL_KVA_SIZE / PAGE_SIZE - i) * sizeof(pte);
551         zero = malloc(PAGE_SIZE);
552         bzero(zero, PAGE_SIZE);
553         while (i) {
554                 write(MemImageFd, zero, (i > PAGE_SIZE) ? PAGE_SIZE : i);
555                 i = i - ((i > PAGE_SIZE) ? PAGE_SIZE : i);
556         }
557         free(zero);
558
559         /*
560          * Enable the page table and calculate pointers to our self-map
561          * for easy kernel page table manipulation.
562          *
563          * KernelPTA must be offset so we can do direct VA translations
564          */
565         mcontrol(base, KERNEL_KVA_SIZE, MADV_SETMAP,
566                  0 | VPTE_R | VPTE_W | VPTE_V);
567         KernelPTD = (vpte_t *)base;                       /* pg directory */
568         KernelPTA = (vpte_t *)((char *)base + PAGE_SIZE); /* pg table pages */
569         KernelPTA -= KvaStart >> PAGE_SHIFT;
570
571         /*
572          * phys_avail[] represents unallocated physical memory.  MI code
573          * will use phys_avail[] to create the vm_page array.
574          */
575         phys_avail[0] = PAGE_SIZE +
576                         KERNEL_KVA_SIZE / PAGE_SIZE * sizeof(vpte_t);
577         phys_avail[0] = (phys_avail[0] + PAGE_MASK) & ~(vm_paddr_t)PAGE_MASK;
578         phys_avail[1] = Maxmem_bytes;
579
580         /*
581          * (virtual_start, virtual_end) represent unallocated kernel virtual
582          * memory.  MI code will create kernel_map using these parameters.
583          */
584         virtual_start = KvaStart + PAGE_SIZE +
585                         KERNEL_KVA_SIZE / PAGE_SIZE * sizeof(vpte_t);
586         virtual_start = (virtual_start + PAGE_MASK) & ~(vm_offset_t)PAGE_MASK;
587         virtual_end = KvaStart + KERNEL_KVA_SIZE;
588
589         /*
590          * kernel_vm_end could be set to virtual_end but we want some 
591          * indication of how much of the kernel_map we've used, so
592          * set it low and let pmap_growkernel increase it even though we
593          * don't need to create any new page table pages.
594          */
595         kernel_vm_end = virtual_start;
596
597         /*
598          * Allocate space for process 0's UAREA.
599          */
600         proc0paddr = (void *)virtual_start;
601         for (i = 0; i < UPAGES; ++i) {
602                 pmap_kenter_quick(virtual_start, phys_avail[0]);
603                 virtual_start += PAGE_SIZE;
604                 phys_avail[0] += PAGE_SIZE;
605         }
606
607         /*
608          * crashdumpmap
609          */
610         crashdumpmap = virtual_start;
611         virtual_start += MAXDUMPPGS * PAGE_SIZE;
612
613         /*
614          * msgbufp maps the system message buffer
615          */
616         assert((MSGBUF_SIZE & PAGE_MASK) == 0);
617         msgbufp = (void *)virtual_start;
618         for (i = 0; i < (MSGBUF_SIZE >> PAGE_SHIFT); ++i) {
619                 pmap_kenter_quick(virtual_start, phys_avail[0]);
620                 virtual_start += PAGE_SIZE;
621                 phys_avail[0] += PAGE_SIZE;
622         }
623         msgbufinit(msgbufp, MSGBUF_SIZE);
624
625         /*
626          * used by kern_memio for /dev/mem access
627          */
628         ptvmmap = (caddr_t)virtual_start;
629         virtual_start += PAGE_SIZE;
630
631         /*
632          * Bootstrap the kernel_pmap
633          */
634         pmap_bootstrap();
635 }
636
637 /*
638  * Map the per-cpu globaldata for cpu #0.  Allocate the space using
639  * virtual_start and phys_avail[0]
640  */
641 static
642 void
643 init_globaldata(void)
644 {
645         int i;
646         vm_paddr_t pa;
647         vm_offset_t va;
648
649         /*
650          * Reserve enough KVA to cover possible cpus.  This is a considerable
651          * amount of KVA since the privatespace structure includes two 
652          * whole page table mappings.
653          */
654         virtual_start = (virtual_start + SEG_MASK) & ~(vm_offset_t)SEG_MASK;
655         CPU_prvspace = (void *)virtual_start;
656         virtual_start += sizeof(struct privatespace) * SMP_MAXCPU;
657
658         /*
659          * Allocate enough physical memory to cover the mdglobaldata
660          * portion of the space and the idle stack and map the pages
661          * into KVA.  For cpu #0 only.
662          */
663         for (i = 0; i < sizeof(struct mdglobaldata); i += PAGE_SIZE) {
664                 pa = phys_avail[0];
665                 va = (vm_offset_t)&CPU_prvspace[0].mdglobaldata + i;
666                 pmap_kenter_quick(va, pa);
667                 phys_avail[0] += PAGE_SIZE;
668         }
669         for (i = 0; i < sizeof(CPU_prvspace[0].idlestack); i += PAGE_SIZE) {
670                 pa = phys_avail[0];
671                 va = (vm_offset_t)&CPU_prvspace[0].idlestack + i;
672                 pmap_kenter_quick(va, pa);
673                 phys_avail[0] += PAGE_SIZE;
674         }
675
676         /*
677          * Setup the %fs for cpu #0.  The mycpu macro works after this
678          * point.  Note that %gs is used by pthreads.
679          */
680         tls_set_fs(&CPU_prvspace[0], sizeof(struct privatespace));
681 }
682
683 /*
684  * Initialize very low level systems including thread0, proc0, etc.
685  */
686 static
687 void
688 init_vkernel(void)
689 {
690         struct mdglobaldata *gd;
691
692         gd = &CPU_prvspace[0].mdglobaldata;
693         bzero(gd, sizeof(*gd));
694
695         gd->mi.gd_curthread = &thread0;
696         thread0.td_gd = &gd->mi;
697         ncpus = 1;
698         ncpus2 = 1;     /* rounded down power of 2 */
699         ncpus_fit = 1;  /* rounded up power of 2 */
700         /* ncpus2_mask and ncpus_fit_mask are 0 */
701         init_param1();
702         gd->mi.gd_prvspace = &CPU_prvspace[0];
703         mi_gdinit(&gd->mi, 0);
704         cpu_gdinit(gd, 0);
705         mi_proc0init(&gd->mi, proc0paddr);
706         lwp0.lwp_md.md_regs = &proc0_tf;
707
708         /*init_locks();*/
709 #ifdef SMP
710         /*
711          * Get the initial mplock with a count of 1 for the BSP.
712          * This uses a LOGICAL cpu ID, ie BSP == 0.
713          */
714         cpu_get_initial_mplock();
715 #endif
716         cninit();
717         rand_initialize();
718 #if 0   /* #ifdef DDB */
719         kdb_init();
720         if (boothowto & RB_KDB)
721                 Debugger("Boot flags requested debugger");
722 #endif
723         identcpu();
724 #if 0
725         initializecpu();        /* Initialize CPU registers */
726 #endif
727         init_param2((phys_avail[1] - phys_avail[0]) / PAGE_SIZE);
728
729 #if 0
730         /*
731          * Map the message buffer
732          */
733         for (off = 0; off < round_page(MSGBUF_SIZE); off += PAGE_SIZE)
734                 pmap_kenter((vm_offset_t)msgbufp + off, avail_end + off);
735         msgbufinit(msgbufp, MSGBUF_SIZE);
736 #endif
737 #if 0
738         thread0.td_pcb_cr3 ... MMU
739         lwp0.lwp_md.md_regs = &proc0_tf;
740 #endif
741 }
742
743 /*
744  * Filesystem image paths for the virtual kernel are optional.  
745  * If specified they each should point to a disk image, 
746  * the first of which will become the root disk.
747  *
748  * The virtual kernel caches data from our 'disk' just like a normal kernel,
749  * so we do not really want the real kernel to cache the data too.  Use
750  * O_DIRECT to remove the duplication.
751  */
752 static
753 void
754 init_disk(char *diskExp[], int diskFileNum, enum vkdisk_type type)
755 {
756         int i;  
757
758         if (diskFileNum == 0)
759                 return;
760
761         for(i=0; i < diskFileNum; i++){
762                 char *fname;
763                 fname = diskExp[i];
764
765                 if (fname == NULL) {
766                         warnx("Invalid argument to '-r'");
767                         continue;
768                 }
769
770                 if (DiskNum < VKDISK_MAX) {
771                         struct stat st; 
772                         struct vkdisk_info* info = NULL;
773                         int fd;
774                         size_t l = 0;
775
776                         if (type == VKD_DISK)
777                             fd = open(fname, O_RDWR|O_DIRECT, 0644);
778                         else
779                             fd = open(fname, O_RDONLY|O_DIRECT, 0644);
780                         if (fd < 0 || fstat(fd, &st) < 0) {
781                                 err(1, "Unable to open/create %s", fname);
782                                 /* NOT REACHED */
783                         }
784                         if (S_ISREG(st.st_mode)) {
785                                 if (flock(fd, LOCK_EX|LOCK_NB) < 0) {
786                                         errx(1, "Disk image %s is already "
787                                                 "in use\n", fname);
788                                         /* NOT REACHED */
789                                 }
790                         }
791
792                         info = &DiskInfo[DiskNum];
793                         l = strlen(fname);
794
795                         info->unit = i;
796                         info->fd = fd;
797                         info->type = type;
798                         memcpy(info->fname, fname, l);
799
800                         if (DiskNum == 0) {
801                                 if (type == VKD_CD) {
802                                     rootdevnames[0] = "cd9660:vcd0a";
803                                 } else if (type == VKD_DISK) {
804                                     rootdevnames[0] = "ufs:vkd0s0a";
805                                     rootdevnames[1] = "ufs:vkd0s1a";
806                                 }
807                         }
808
809                         DiskNum++;
810                 } else {
811                         warnx("vkd%d (%s) > VKDISK_MAX", DiskNum, fname);
812                         continue;
813                 }
814         }
815 }
816
817 static
818 int
819 netif_set_tapflags(int tap_unit, int f, int s)
820 {
821         struct ifreq ifr;
822         int flags;
823
824         bzero(&ifr, sizeof(ifr));
825
826         snprintf(ifr.ifr_name, sizeof(ifr.ifr_name), "tap%d", tap_unit);
827         if (ioctl(s, SIOCGIFFLAGS, &ifr) < 0) {
828                 warn("tap%d: ioctl(SIOCGIFFLAGS) failed", tap_unit);
829                 return -1;
830         }
831
832         /*
833          * Adjust if_flags
834          *
835          * If the flags are already set/cleared, then we return
836          * immediately to avoid extra syscalls
837          */
838         flags = (ifr.ifr_flags & 0xffff) | (ifr.ifr_flagshigh << 16);
839         if (f < 0) {
840                 /* Turn off flags */
841                 f = -f;
842                 if ((flags & f) == 0)
843                         return 0;
844                 flags &= ~f;
845         } else {
846                 /* Turn on flags */
847                 if (flags & f)
848                         return 0;
849                 flags |= f;
850         }
851
852         /*
853          * Fix up ifreq.ifr_name, since it may be trashed
854          * in previous ioctl(SIOCGIFFLAGS)
855          */
856         snprintf(ifr.ifr_name, sizeof(ifr.ifr_name), "tap%d", tap_unit);
857
858         ifr.ifr_flags = flags & 0xffff;
859         ifr.ifr_flagshigh = flags >> 16;
860         if (ioctl(s, SIOCSIFFLAGS, &ifr) < 0) {
861                 warn("tap%d: ioctl(SIOCSIFFLAGS) failed", tap_unit);
862                 return -1;
863         }
864         return 0;
865 }
866
867 static
868 int
869 netif_set_tapaddr(int tap_unit, in_addr_t addr, in_addr_t mask, int s)
870 {
871         struct ifaliasreq ifra;
872         struct sockaddr_in *in;
873
874         bzero(&ifra, sizeof(ifra));
875         snprintf(ifra.ifra_name, sizeof(ifra.ifra_name), "tap%d", tap_unit);
876
877         /* Setup address */
878         in = (struct sockaddr_in *)&ifra.ifra_addr;
879         in->sin_family = AF_INET;
880         in->sin_len = sizeof(*in);
881         in->sin_addr.s_addr = addr;
882
883         if (mask != 0) {
884                 /* Setup netmask */
885                 in = (struct sockaddr_in *)&ifra.ifra_mask;
886                 in->sin_len = sizeof(*in);
887                 in->sin_addr.s_addr = mask;
888         }
889
890         if (ioctl(s, SIOCAIFADDR, &ifra) < 0) {
891                 warn("tap%d: ioctl(SIOCAIFADDR) failed", tap_unit);
892                 return -1;
893         }
894         return 0;
895 }
896
897 static
898 int
899 netif_add_tap2brg(int tap_unit, const char *ifbridge, int s)
900 {
901         struct ifbreq ifbr;
902         struct ifdrv ifd;
903
904         bzero(&ifbr, sizeof(ifbr));
905         snprintf(ifbr.ifbr_ifsname, sizeof(ifbr.ifbr_ifsname),
906                  "tap%d", tap_unit);
907
908         bzero(&ifd, sizeof(ifd));
909         strlcpy(ifd.ifd_name, ifbridge, sizeof(ifd.ifd_name));
910         ifd.ifd_cmd = BRDGADD;
911         ifd.ifd_len = sizeof(ifbr);
912         ifd.ifd_data = &ifbr;
913
914         if (ioctl(s, SIOCSDRVSPEC, &ifd) < 0) {
915                 /*
916                  * 'errno == EEXIST' means that the tap(4) is already
917                  * a member of the bridge(4)
918                  */
919                 if (errno != EEXIST) {
920                         warn("ioctl(%s, SIOCSDRVSPEC) failed", ifbridge);
921                         return -1;
922                 }
923         }
924         return 0;
925 }
926
927 #define TAPDEV_OFLAGS   (O_RDWR | O_NONBLOCK)
928
929 /*
930  * Locate the first unused tap(4) device file if auto mode is requested,
931  * or open the user supplied device file, and bring up the corresponding
932  * tap(4) interface.
933  *
934  * NOTE: Only tap(4) device file is supported currently
935  */
936 static
937 int
938 netif_open_tap(const char *netif, int *tap_unit, int s)
939 {
940         char tap_dev[MAXPATHLEN];
941         int tap_fd, failed;
942         struct stat st;
943         char *dname;
944
945         *tap_unit = -1;
946
947         if (strcmp(netif, "auto") == 0) {
948                 /*
949                  * Find first unused tap(4) device file
950                  */
951                 tap_fd = open("/dev/tap", TAPDEV_OFLAGS);
952                 if (tap_fd < 0) {
953                         warnc(errno, "Unable to find a free tap(4)");
954                         return -1;
955                 }
956         } else {
957                 /*
958                  * User supplied tap(4) device file or unix socket.
959                  */
960                 if (netif[0] == '/')    /* Absolute path */
961                         strlcpy(tap_dev, netif, sizeof(tap_dev));
962                 else
963                         snprintf(tap_dev, sizeof(tap_dev), "/dev/%s", netif);
964
965                 tap_fd = open(tap_dev, TAPDEV_OFLAGS);
966
967                 /*
968                  * If we cannot open normally try to connect to it.
969                  */
970                 if (tap_fd < 0)
971                         tap_fd = unix_connect(tap_dev);
972
973                 if (tap_fd < 0) {
974                         warn("Unable to open %s", tap_dev);
975                         return -1;
976                 }
977         }
978
979         /*
980          * Check whether the device file is a tap(4)
981          */
982         if (fstat(tap_fd, &st) < 0) {
983                 failed = 1;
984         } else if (S_ISCHR(st.st_mode)) {
985                 dname = fdevname(tap_fd);
986                 if (dname)
987                         dname = strstr(dname, "tap");
988                 if (dname) {
989                         /*
990                          * Bring up the corresponding tap(4) interface
991                          */
992                         *tap_unit = strtol(dname + 3, NULL, 10);
993                         printf("TAP UNIT %d\n", *tap_unit);
994                         if (netif_set_tapflags(*tap_unit, IFF_UP, s) == 0)
995                                 failed = 0;
996                         else
997                                 failed = 1;
998                 } else {
999                         failed = 1;
1000                 }
1001         } else if (S_ISSOCK(st.st_mode)) {
1002                 /*
1003                  * Special socket connection (typically to vknet).  We
1004                  * do not have to do anything.
1005                  */
1006                 failed = 0;
1007         } else {
1008                 failed = 1;
1009         }
1010
1011         if (failed) {
1012                 warnx("%s is not a tap(4) device or socket", tap_dev);
1013                 close(tap_fd);
1014                 tap_fd = -1;
1015                 *tap_unit = -1;
1016         }
1017         return tap_fd;
1018 }
1019
1020 static int
1021 unix_connect(const char *path)
1022 {
1023         struct sockaddr_un sunx;
1024         int len;
1025         int net_fd;
1026         int sndbuf = 262144;
1027         struct stat st;
1028
1029         snprintf(sunx.sun_path, sizeof(sunx.sun_path), "%s", path);
1030         len = offsetof(struct sockaddr_un, sun_path[strlen(sunx.sun_path)]);
1031         ++len;  /* include nul */
1032         sunx.sun_family = AF_UNIX;
1033         sunx.sun_len = len;
1034
1035         net_fd = socket(AF_UNIX, SOCK_SEQPACKET, 0);
1036         if (net_fd < 0)
1037                 return(-1);
1038         if (connect(net_fd, (void *)&sunx, len) < 0) {
1039                 close(net_fd);
1040                 return(-1);
1041         }
1042         setsockopt(net_fd, SOL_SOCKET, SO_SNDBUF, &sndbuf, sizeof(sndbuf));
1043         if (fstat(net_fd, &st) == 0)
1044                 printf("Network socket buffer: %d bytes\n", st.st_blksize);
1045         fcntl(net_fd, F_SETFL, O_NONBLOCK);
1046         return(net_fd);
1047 }
1048
1049 #undef TAPDEV_MAJOR
1050 #undef TAPDEV_MINOR
1051 #undef TAPDEV_OFLAGS
1052
1053 /*
1054  * Following syntax is supported,
1055  * 1) x.x.x.x             tap(4)'s address is x.x.x.x
1056  *
1057  * 2) x.x.x.x/z           tap(4)'s address is x.x.x.x
1058  *                        tap(4)'s netmask len is z
1059  *
1060  * 3) x.x.x.x:y.y.y.y     tap(4)'s address is x.x.x.x
1061  *                        pseudo netif's address is y.y.y.y
1062  *
1063  * 4) x.x.x.x:y.y.y.y/z   tap(4)'s address is x.x.x.x
1064  *                        pseudo netif's address is y.y.y.y
1065  *                        tap(4) and pseudo netif's netmask len are z
1066  *
1067  * 5) bridgeX             tap(4) will be added to bridgeX
1068  *
1069  * 6) bridgeX:y.y.y.y     tap(4) will be added to bridgeX
1070  *                        pseudo netif's address is y.y.y.y
1071  *
1072  * 7) bridgeX:y.y.y.y/z   tap(4) will be added to bridgeX
1073  *                        pseudo netif's address is y.y.y.y
1074  *                        pseudo netif's netmask len is z
1075  */
1076 static
1077 int
1078 netif_init_tap(int tap_unit, in_addr_t *addr, in_addr_t *mask, int s)
1079 {
1080         in_addr_t tap_addr, netmask, netif_addr;
1081         int next_netif_addr;
1082         char *tok, *masklen_str, *ifbridge;
1083
1084         *addr = 0;
1085         *mask = 0;
1086
1087         tok = strtok(NULL, ":/");
1088         if (tok == NULL) {
1089                 /*
1090                  * Nothing special, simply use tap(4) as backend
1091                  */
1092                 return 0;
1093         }
1094
1095         if (inet_pton(AF_INET, tok, &tap_addr) > 0) {
1096                 /*
1097                  * tap(4)'s address is supplied
1098                  */
1099                 ifbridge = NULL;
1100
1101                 /*
1102                  * If there is next token, then it may be pseudo
1103                  * netif's address or netmask len for tap(4)
1104                  */
1105                 next_netif_addr = 0;
1106         } else {
1107                 /*
1108                  * Not tap(4)'s address, assume it as a bridge(4)
1109                  * iface name
1110                  */
1111                 tap_addr = 0;
1112                 ifbridge = tok;
1113
1114                 /*
1115                  * If there is next token, then it must be pseudo
1116                  * netif's address
1117                  */
1118                 next_netif_addr = 1;
1119         }
1120
1121         netmask = netif_addr = 0;
1122
1123         tok = strtok(NULL, ":/");
1124         if (tok == NULL)
1125                 goto back;
1126
1127         if (inet_pton(AF_INET, tok, &netif_addr) <= 0) {
1128                 if (next_netif_addr) {
1129                         warnx("Invalid pseudo netif address: %s", tok);
1130                         return -1;
1131                 }
1132                 netif_addr = 0;
1133
1134                 /*
1135                  * Current token is not address, then it must be netmask len
1136                  */
1137                 masklen_str = tok;
1138         } else {
1139                 /*
1140                  * Current token is pseudo netif address, if there is next token
1141                  * it must be netmask len
1142                  */
1143                 masklen_str = strtok(NULL, "/");
1144         }
1145
1146         /* Calculate netmask */
1147         if (masklen_str != NULL) {
1148                 u_long masklen;
1149
1150                 masklen = strtoul(masklen_str, NULL, 10);
1151                 if (masklen < 32 && masklen > 0) {
1152                         netmask = htonl(~((1LL << (32 - masklen)) - 1)
1153                                         & 0xffffffff);
1154                 } else {
1155                         warnx("Invalid netmask len: %lu", masklen);
1156                         return -1;
1157                 }
1158         }
1159
1160         /* Make sure there is no more token left */
1161         if (strtok(NULL, ":/") != NULL) {
1162                 warnx("Invalid argument to '-I'");
1163                 return -1;
1164         }
1165
1166 back:
1167         if (tap_unit < 0) {
1168                 /* Do nothing */
1169         } else if (ifbridge == NULL) {
1170                 /* Set tap(4) address/netmask */
1171                 if (netif_set_tapaddr(tap_unit, tap_addr, netmask, s) < 0)
1172                         return -1;
1173         } else {
1174                 /* Tie tap(4) to bridge(4) */
1175                 if (netif_add_tap2brg(tap_unit, ifbridge, s) < 0)
1176                         return -1;
1177         }
1178
1179         *addr = netif_addr;
1180         *mask = netmask;
1181         return 0;
1182 }
1183
1184 /*
1185  * NetifInfo[] will be filled for pseudo netif initialization.
1186  * NetifNum will be bumped to reflect the number of valid entries
1187  * in NetifInfo[].
1188  */
1189 static
1190 void
1191 init_netif(char *netifExp[], int netifExpNum)
1192 {
1193         int i, s;
1194
1195         if (netifExpNum == 0)
1196                 return;
1197
1198         s = socket(AF_INET, SOCK_DGRAM, 0);     /* for ioctl(SIOC) */
1199         if (s < 0)
1200                 return;
1201
1202         for (i = 0; i < netifExpNum; ++i) {
1203                 struct vknetif_info *info;
1204                 in_addr_t netif_addr, netif_mask;
1205                 int tap_fd, tap_unit;
1206                 char *netif;
1207
1208                 netif = strtok(netifExp[i], ":");
1209                 if (netif == NULL) {
1210                         warnx("Invalid argument to '-I'");
1211                         continue;
1212                 }
1213
1214                 /*
1215                  * Open tap(4) device file and bring up the
1216                  * corresponding interface
1217                  */
1218                 tap_fd = netif_open_tap(netif, &tap_unit, s);
1219                 if (tap_fd < 0)
1220                         continue;
1221
1222                 /*
1223                  * Initialize tap(4) and get address/netmask
1224                  * for pseudo netif
1225                  *
1226                  * NB: Rest part of netifExp[i] is passed
1227                  *     to netif_init_tap() implicitly.
1228                  */
1229                 if (netif_init_tap(tap_unit, &netif_addr, &netif_mask, s) < 0) {
1230                         /*
1231                          * NB: Closing tap(4) device file will bring
1232                          *     down the corresponding interface
1233                          */
1234                         close(tap_fd);
1235                         continue;
1236                 }
1237
1238                 info = &NetifInfo[NetifNum];
1239                 info->tap_fd = tap_fd;
1240                 info->tap_unit = tap_unit;
1241                 info->netif_addr = netif_addr;
1242                 info->netif_mask = netif_mask;
1243
1244                 NetifNum++;
1245                 if (NetifNum >= VKNETIF_MAX)    /* XXX will this happen? */
1246                         break;
1247         }
1248         close(s);
1249 }
1250
1251 /*
1252  * Create the pid file and leave it open and locked while the vkernel is
1253  * running.  This allows a script to use /usr/bin/lockf to probe whether
1254  * a vkernel is still running (so as not to accidently kill an unrelated
1255  * process from a stale pid file).
1256  */
1257 static
1258 void
1259 writepid(void)
1260 {
1261         char buf[32];
1262         int fd;
1263
1264         if (pid_file != NULL) {
1265                 snprintf(buf, sizeof(buf), "%ld\n", (long)getpid());
1266                 fd = open(pid_file, O_RDWR|O_CREAT|O_EXLOCK|O_NONBLOCK, 0666);
1267                 if (fd < 0) {
1268                         if (errno == EWOULDBLOCK) {
1269                                 perror("Failed to lock pidfile, "
1270                                        "vkernel already running");
1271                         } else {
1272                                 perror("Failed to create pidfile");
1273                         }
1274                         exit(EX_SOFTWARE);
1275                 }
1276                 ftruncate(fd, 0);
1277                 write(fd, buf, strlen(buf));
1278                 /* leave the file open to maintain the lock */
1279         }
1280 }
1281
1282 static
1283 void
1284 cleanpid( void ) 
1285 {
1286         if (pid_file != NULL) {
1287                 if (unlink(pid_file) < 0)
1288                         perror("Warning: couldn't remove pidfile");
1289         }
1290 }
1291
1292 static
1293 void
1294 usage_err(const char *ctl, ...)
1295 {
1296         va_list va;
1297
1298         va_start(va, ctl);
1299         vfprintf(stderr, ctl, va);
1300         va_end(va);
1301         fprintf(stderr, "\n");
1302         exit(EX_USAGE);
1303 }
1304
1305 static
1306 void
1307 usage_help(_Bool help)
1308 {
1309         fprintf(stderr, "Usage: %s [-hsUv] [-c file] [-e name=value:name=value:...]\n"
1310             "\t[-i file] [-I interface[:address1[:address2][/netmask]]] [-l cpulock]\n"
1311             "\t[-m size] [-n numcpus] [-p file] [-r file]\n", save_av[0]);
1312
1313         if (help)
1314                 fprintf(stderr, "\nArguments:\n"
1315                     "\t-c\tSpecify a readonly CD-ROM image file to be used by the kernel.\n"
1316                     "\t-e\tSpecify an environment to be used by the kernel.\n"
1317                     "\t-h\tThis list of options.\n"
1318                     "\t-i\tSpecify a memory image file to be used by the virtual kernel.\n"
1319                     "\t-I\tCreate a virtual network device.\n"
1320                     "\t-l\tSpecify which, if any, real CPUs to lock virtual CPUs to.\n"
1321                     "\t-m\tSpecify the amount of memory to be used by the kernel in bytes.\n"
1322                     "\t-n\tSpecify the number of CPUs you wish to emulate.\n"
1323                     "\t-p\tSpecify a file in which to store the process ID.\n"
1324                     "\t-r\tSpecify a R/W disk image file to be used by the kernel.\n"
1325                     "\t-s\tBoot into single-user mode.\n"
1326                     "\t-U\tEnable writing to kernel memory and module loading.\n"
1327                     "\t-v\tTurn on verbose booting.\n");
1328
1329         exit(EX_USAGE);
1330 }
1331
1332 void
1333 cpu_reset(void)
1334 {
1335         kprintf("cpu reset, rebooting vkernel\n");
1336         closefrom(3);
1337         cleanpid();
1338         execv(save_av[0], save_av);
1339 }
1340
1341 void
1342 cpu_halt(void)
1343 {
1344         kprintf("cpu halt, exiting vkernel\n");
1345         cleanpid();
1346         exit(EX_OK);
1347 }
1348
1349 void
1350 setrealcpu(void)
1351 {
1352         switch(lwp_cpu_lock) {
1353         case LCL_PER_CPU:
1354                 if (bootverbose)
1355                         kprintf("Locking CPU%d to real cpu %d\n",
1356                                 mycpuid, next_cpu);
1357                 usched_set(getpid(), USCHED_SET_CPU, &next_cpu, sizeof(next_cpu));
1358                 next_cpu++;
1359                 if (next_cpu >= real_ncpus)
1360                         next_cpu = 0;
1361                 break;
1362         case LCL_SINGLE_CPU:
1363                 if (bootverbose)
1364                         kprintf("Locking CPU%d to real cpu %d\n",
1365                                 mycpuid, next_cpu);
1366                 usched_set(getpid(), USCHED_SET_CPU, &next_cpu, sizeof(next_cpu));
1367                 break;
1368         default:
1369                 /* do not map virtual cpus to real cpus */
1370                 break;
1371         }
1372 }
1373