2 * Copyright (c) 2006 The DragonFly Project. All rights reserved.
4 * This code is derived from software contributed to The DragonFly Project
5 * by Matthew Dillon <dillon@backplane.com>
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
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
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.
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
34 * $DragonFly: src/sys/platform/vkernel/platform/init.c,v 1.29 2007/02/03 17:05:59 corecode Exp $
37 #include <sys/types.h>
38 #include <sys/systm.h>
39 #include <sys/kernel.h>
43 #include <sys/random.h>
44 #include <sys/vkernel.h>
46 #include <sys/reboot.h>
48 #include <sys/msgbuf.h>
49 #include <sys/vmspace.h>
50 #include <sys/socket.h>
51 #include <sys/sockio.h>
52 #include <vm/vm_page.h>
54 #include <machine/globaldata.h>
55 #include <machine/tls.h>
56 #include <machine/md_var.h>
57 #include <machine/vmparam.h>
60 #include <net/if_arp.h>
61 #include <net/ethernet.h>
62 #include <net/bridge/if_bridgevar.h>
63 #include <netinet/in.h>
64 #include <arpa/inet.h>
75 vm_paddr_t phys_avail[16];
77 vm_paddr_t Maxmem_bytes;
80 struct vknetif_info NetifInfo[VKNETIF_MAX];
85 vm_offset_t virtual_start;
86 vm_offset_t virtual_end;
87 vm_offset_t kernel_vm_end;
88 vm_offset_t crashdumpmap;
89 vm_offset_t clean_sva;
90 vm_offset_t clean_eva;
91 struct msgbuf *msgbufp;
94 vpte_t *KernelPTA; /* Warning: Offset for direct VA translation */
95 u_int cpu_feature; /* XXX */
96 u_int tsc_present; /* XXX */
98 struct privatespace *CPU_prvspace;
100 static struct trapframe proc0_tf;
101 static void *proc0paddr;
103 static void init_sys_memory(char *imageFile);
104 static void init_kern_memory(void);
105 static void init_globaldata(void);
106 static void init_vkernel(void);
107 static void init_rootdevice(char *imageFile);
108 static void init_netif(char *netifFile[], int netifFileNum);
109 static void usage(const char *ctl);
112 * Kernel startup for virtual kernels - standard main()
115 main(int ac, char **av)
117 char *memImageFile = NULL;
118 char *rootImageFile = NULL;
119 char *netifFile[VKNETIF_MAX];
121 int netifFileNum = 0;
129 kernel_mem_readonly = 1;
131 while ((c = getopt(ac, av, "svm:r:e:I:U")) != -1) {
135 * name=value:name=value:name=value...
138 kern_envp = malloc(n + 2);
139 for (i = 0; i < n; ++i) {
140 if (optarg[i] == ':')
143 kern_envp[i] = optarg[i];
149 boothowto |= RB_SINGLE;
155 memImageFile = optarg;
158 if (netifFileNum < VKNETIF_MAX)
159 netifFile[netifFileNum++] = optarg;
162 rootImageFile = optarg;
165 Maxmem_bytes = strtoull(optarg, &suffix, 0);
182 usage("Bad maxmem option");
189 kernel_mem_readonly = 0;
195 init_sys_memory(memImageFile);
200 init_rootdevice(rootImageFile);
201 init_netif(netifFile, netifFileNum);
209 * Initialize system memory. This is the virtual kernel's 'RAM'.
213 init_sys_memory(char *imageFile)
220 * Figure out the system memory image size. If an image file was
221 * specified and -m was not specified, use the image file's size.
224 if (imageFile && stat(imageFile, &st) == 0 && Maxmem_bytes == 0)
225 Maxmem_bytes = (vm_paddr_t)st.st_size;
226 if ((imageFile == NULL || stat(imageFile, &st) < 0) &&
228 err(1, "Cannot create new memory file %s unless "
229 "system memory size is specified with -m",
235 * Maxmem must be known at this time
237 if (Maxmem_bytes < 32 * 1024 * 1024 || (Maxmem_bytes & SEG_MASK)) {
238 err(1, "Bad maxmem specification: 32MB minimum, "
239 "multiples of %dMB only",
240 SEG_SIZE / 1024 / 1024);
245 * Generate an image file name if necessary, then open/create the
246 * file exclusively locked. Do not allow multiple virtual kernels
247 * to use the same image file.
249 if (imageFile == NULL) {
250 for (i = 0; i < 1000000; ++i) {
251 asprintf(&imageFile, "/var/vkernel/memimg.%06d", i);
253 O_RDWR|O_CREAT|O_EXLOCK|O_NONBLOCK, 0644);
254 if (fd < 0 && errno == EWOULDBLOCK) {
261 fd = open(imageFile, O_RDWR|O_CREAT|O_EXLOCK|O_NONBLOCK, 0644);
263 printf("Using memory file: %s\n", imageFile);
264 if (fd < 0 || fstat(fd, &st) < 0) {
265 err(1, "Unable to open/create %s: %s",
266 imageFile, strerror(errno));
271 * Truncate or extend the file as necessary.
273 if (st.st_size > Maxmem_bytes) {
274 ftruncate(fd, Maxmem_bytes);
275 } else if (st.st_size < Maxmem_bytes) {
277 off_t off = st.st_size & ~SEG_MASK;
279 kprintf("%s: Reserving blocks for memory image\n", imageFile);
280 zmem = malloc(SEG_SIZE);
281 bzero(zmem, SEG_SIZE);
282 lseek(fd, off, SEEK_SET);
283 while (off < Maxmem_bytes) {
284 if (write(fd, zmem, SEG_SIZE) != SEG_SIZE) {
285 err(1, "Unable to reserve blocks for memory image");
291 err(1, "Unable to reserve blocks for memory image");
295 Maxmem = Maxmem_bytes >> PAGE_SHIFT;
299 * Initialize kernel memory. This reserves kernel virtual memory by using
304 init_kern_memory(void)
312 * Memory map our kernel virtual memory space. Note that the
313 * kernel image itself is not made part of this memory for the
316 * The memory map must be segment-aligned so we can properly
319 base = mmap((void *)0x40000000, KERNEL_KVA_SIZE, PROT_READ|PROT_WRITE,
320 MAP_FILE|MAP_SHARED|MAP_VPAGETABLE, MemImageFd, 0);
321 if (base == MAP_FAILED) {
322 err(1, "Unable to mmap() kernel virtual memory!");
325 madvise(base, KERNEL_KVA_SIZE, MADV_NOSYNC);
326 KvaStart = (vm_offset_t)base;
327 KvaSize = KERNEL_KVA_SIZE;
328 KvaEnd = KvaStart + KvaSize;
331 * Create a top-level page table self-mapping itself.
333 * Initialize the page directory at physical page index 0 to point
334 * to an array of page table pages starting at physical page index 1
336 lseek(MemImageFd, 0L, 0);
337 for (i = 0; i < KERNEL_KVA_SIZE / SEG_SIZE; ++i) {
338 pte = ((i + 1) * PAGE_SIZE) | VPTE_V | VPTE_R | VPTE_W;
339 write(MemImageFd, &pte, sizeof(pte));
343 * Initialize the PTEs in the page table pages required to map the
344 * page table itself. This includes mapping the page directory page
345 * at the base so we go one more loop then normal.
347 lseek(MemImageFd, PAGE_SIZE, 0);
348 for (i = 0; i <= KERNEL_KVA_SIZE / SEG_SIZE * sizeof(vpte_t); ++i) {
349 pte = (i * PAGE_SIZE) | VPTE_V | VPTE_R | VPTE_W;
350 write(MemImageFd, &pte, sizeof(pte));
354 * Initialize remaining PTEs to 0. We may be reusing a memory image
355 * file. This is approximately a megabyte.
357 i = (KERNEL_KVA_SIZE / PAGE_SIZE - i) * sizeof(pte);
358 zero = malloc(PAGE_SIZE);
359 bzero(zero, PAGE_SIZE);
361 write(MemImageFd, zero, (i > PAGE_SIZE) ? PAGE_SIZE : i);
362 i = i - ((i > PAGE_SIZE) ? PAGE_SIZE : i);
367 * Enable the page table and calculate pointers to our self-map
368 * for easy kernel page table manipulation.
370 * KernelPTA must be offset so we can do direct VA translations
372 mcontrol(base, KERNEL_KVA_SIZE, MADV_SETMAP,
373 0 | VPTE_R | VPTE_W | VPTE_V);
374 KernelPTD = (vpte_t *)base; /* pg directory */
375 KernelPTA = (vpte_t *)((char *)base + PAGE_SIZE); /* pg table pages */
376 KernelPTA -= KvaStart >> PAGE_SHIFT;
379 * phys_avail[] represents unallocated physical memory. MI code
380 * will use phys_avail[] to create the vm_page array.
382 phys_avail[0] = PAGE_SIZE +
383 KERNEL_KVA_SIZE / PAGE_SIZE * sizeof(vpte_t);
384 phys_avail[0] = (phys_avail[0] + PAGE_MASK) & ~(vm_paddr_t)PAGE_MASK;
385 phys_avail[1] = Maxmem_bytes;
388 * (virtual_start, virtual_end) represent unallocated kernel virtual
389 * memory. MI code will create kernel_map using these parameters.
391 virtual_start = KvaStart + PAGE_SIZE +
392 KERNEL_KVA_SIZE / PAGE_SIZE * sizeof(vpte_t);
393 virtual_start = (virtual_start + PAGE_MASK) & ~(vm_offset_t)PAGE_MASK;
394 virtual_end = KvaStart + KERNEL_KVA_SIZE;
397 * kernel_vm_end could be set to virtual_end but we want some
398 * indication of how much of the kernel_map we've used, so
399 * set it low and let pmap_growkernel increase it even though we
400 * don't need to create any new page table pages.
402 kernel_vm_end = virtual_start;
405 * Allocate space for process 0's UAREA.
407 proc0paddr = (void *)virtual_start;
408 for (i = 0; i < UPAGES; ++i) {
409 pmap_kenter_quick(virtual_start, phys_avail[0]);
410 virtual_start += PAGE_SIZE;
411 phys_avail[0] += PAGE_SIZE;
417 crashdumpmap = virtual_start;
418 virtual_start += MAXDUMPPGS * PAGE_SIZE;
421 * msgbufp maps the system message buffer
423 assert((MSGBUF_SIZE & PAGE_MASK) == 0);
424 msgbufp = (void *)virtual_start;
425 for (i = 0; i < (MSGBUF_SIZE >> PAGE_SHIFT); ++i) {
426 pmap_kenter_quick(virtual_start, phys_avail[0]);
427 virtual_start += PAGE_SIZE;
428 phys_avail[0] += PAGE_SIZE;
430 msgbufinit(msgbufp, MSGBUF_SIZE);
433 * used by kern_memio for /dev/mem access
435 ptvmmap = (caddr_t)virtual_start;
436 virtual_start += PAGE_SIZE;
439 * Bootstrap the kernel_pmap
445 * Map the per-cpu globaldata for cpu #0. Allocate the space using
446 * virtual_start and phys_avail[0]
450 init_globaldata(void)
457 * Reserve enough KVA to cover possible cpus. This is a considerable
458 * amount of KVA since the privatespace structure includes two
459 * whole page table mappings.
461 virtual_start = (virtual_start + SEG_MASK) & ~(vm_offset_t)SEG_MASK;
462 CPU_prvspace = (void *)virtual_start;
463 virtual_start += sizeof(struct privatespace) * SMP_MAXCPU;
466 * Allocate enough physical memory to cover the mdglobaldata
467 * portion of the space and the idle stack and map the pages
468 * into KVA. For cpu #0 only.
470 for (i = 0; i < sizeof(struct mdglobaldata); i += PAGE_SIZE) {
472 va = (vm_offset_t)&CPU_prvspace[0].mdglobaldata + i;
473 pmap_kenter_quick(va, pa);
474 phys_avail[0] += PAGE_SIZE;
476 for (i = 0; i < sizeof(CPU_prvspace[0].idlestack); i += PAGE_SIZE) {
478 va = (vm_offset_t)&CPU_prvspace[0].idlestack + i;
479 pmap_kenter_quick(va, pa);
480 phys_avail[0] += PAGE_SIZE;
484 * Setup the %gs for cpu #0. The mycpu macro works after this
487 tls_set_fs(&CPU_prvspace[0], sizeof(struct privatespace));
491 * Initialize very low level systems including thread0, proc0, etc.
497 struct mdglobaldata *gd;
499 gd = &CPU_prvspace[0].mdglobaldata;
500 bzero(gd, sizeof(*gd));
502 gd->mi.gd_curthread = &thread0;
503 thread0.td_gd = &gd->mi;
507 gd->mi.gd_prvspace = &CPU_prvspace[0];
508 mi_gdinit(&gd->mi, 0);
510 mi_proc0init(&gd->mi, proc0paddr);
511 lwp0.lwp_md.md_regs = &proc0_tf;
516 #if 0 /* #ifdef DDB */
518 if (boothowto & RB_KDB)
519 Debugger("Boot flags requested debugger");
522 initializecpu(); /* Initialize CPU registers */
524 init_param2((phys_avail[1] - phys_avail[0]) / PAGE_SIZE);
528 * Map the message buffer
530 for (off = 0; off < round_page(MSGBUF_SIZE); off += PAGE_SIZE)
531 pmap_kenter((vm_offset_t)msgbufp + off, avail_end + off);
532 msgbufinit(msgbufp, MSGBUF_SIZE);
535 thread0.td_pcb_cr3 ... MMU
536 lwp0.lwp_md.md_regs = &proc0_tf;
541 * The root filesystem path for the virtual kernel is optional. If specified
542 * it points to a filesystem image.
544 * The virtual kernel caches data from our 'disk' just like a normal kernel,
545 * so we do not really want the real kernel to cache the data too. Use
546 * O_DIRECT to remove the duplication.
550 init_rootdevice(char *imageFile)
555 RootImageFd = open(imageFile, O_RDWR|O_DIRECT, 0644);
556 if (RootImageFd < 0 || fstat(RootImageFd, &st) < 0) {
557 err(1, "Unable to open/create %s: %s",
558 imageFile, strerror(errno));
561 rootdevnames[0] = "ufs:vkd0a";
567 netif_set_tapflags(int tap_unit, int f, int s)
572 bzero(&ifr, sizeof(ifr));
574 snprintf(ifr.ifr_name, sizeof(ifr.ifr_name), "tap%d", tap_unit);
575 if (ioctl(s, SIOCGIFFLAGS, &ifr) < 0) {
576 warn("tap%d: ioctl(SIOCGIFFLAGS) failed: %s",
577 tap_unit, strerror(errno));
584 * If the flags are already set/cleared, then we return
585 * immediately to avoid extra syscalls
587 flags = (ifr.ifr_flags & 0xffff) | (ifr.ifr_flagshigh << 16);
591 if ((flags & f) == 0)
602 * Fix up ifreq.ifr_name, since it may be trashed
603 * in previous ioctl(SIOCGIFFLAGS)
605 snprintf(ifr.ifr_name, sizeof(ifr.ifr_name), "tap%d", tap_unit);
607 ifr.ifr_flags = flags & 0xffff;
608 ifr.ifr_flagshigh = flags >> 16;
609 if (ioctl(s, SIOCSIFFLAGS, &ifr) < 0) {
610 warn("tap%d: ioctl(SIOCSIFFLAGS) failed: %s",
611 tap_unit, strerror(errno));
619 netif_set_tapaddr(int tap_unit, in_addr_t addr, in_addr_t mask, int s)
621 struct ifaliasreq ifra;
622 struct sockaddr_in *in;
624 bzero(&ifra, sizeof(ifra));
625 snprintf(ifra.ifra_name, sizeof(ifra.ifra_name), "tap%d", tap_unit);
628 in = (struct sockaddr_in *)&ifra.ifra_addr;
629 in->sin_family = AF_INET;
630 in->sin_len = sizeof(*in);
631 in->sin_addr.s_addr = addr;
635 in = (struct sockaddr_in *)&ifra.ifra_mask;
636 in->sin_len = sizeof(*in);
637 in->sin_addr.s_addr = mask;
640 if (ioctl(s, SIOCAIFADDR, &ifra) < 0) {
641 warn("tap%d: ioctl(SIOCAIFADDR) failed: %s",
642 tap_unit, strerror(errno));
650 netif_add_tap2brg(int tap_unit, const char *ifbridge, int s)
655 bzero(&ifbr, sizeof(ifbr));
656 snprintf(ifbr.ifbr_ifsname, sizeof(ifbr.ifbr_ifsname),
659 bzero(&ifd, sizeof(ifd));
660 strlcpy(ifd.ifd_name, ifbridge, sizeof(ifd.ifd_name));
661 ifd.ifd_cmd = BRDGADD;
662 ifd.ifd_len = sizeof(ifbr);
663 ifd.ifd_data = &ifbr;
665 if (ioctl(s, SIOCSDRVSPEC, &ifd) < 0) {
667 * 'errno == EEXIST' means that the tap(4) is already
668 * a member of the bridge(4)
670 if (errno != EEXIST) {
671 warn("ioctl(%s, SIOCSDRVSPEC) failed: %s",
672 ifbridge, strerror(errno));
679 #define TAPDEV_OFLAGS (O_RDWR | O_NONBLOCK)
681 /* XXX major()/minor() can't be used in vkernel */
682 #define TAPDEV_MAJOR(x) ((int)(((u_int)(x) >> 8) & 0xff))
683 #define TAPDEV_MINOR(x) ((int)((x) & 0xffff00ff))
685 #ifndef TAP_CDEV_MAJOR
686 #define TAP_CDEV_MAJOR 149
690 * Locate the first unused tap(4) device file if auto mode is requested,
691 * or open the user supplied device file, and bring up the corresponding
694 * NOTE: Only tap(4) device file is supported currently
698 netif_open_tap(const char *netif, int *tap_unit, int s)
700 char tap_dev[MAXPATHLEN];
706 if (strcmp(netif, "auto") == 0) {
710 * Find first unused tap(4) device file
713 snprintf(tap_dev, sizeof(tap_dev), "/dev/tap%d", i);
714 tap_fd = open(tap_dev, TAPDEV_OFLAGS);
715 if (tap_fd >= 0 || errno == ENOENT)
719 warnx("Unable to find a free tap(4)");
724 * User supplied tap(4) device file
726 if (netif[0] == '/') /* Absolute path */
727 strlcpy(tap_dev, netif, sizeof(tap_dev));
729 snprintf(tap_dev, sizeof(tap_dev), "/dev/%s", netif);
731 tap_fd = open(tap_dev, TAPDEV_OFLAGS);
733 warn("Unable to open %s: %s",
734 tap_dev, strerror(errno));
740 * Check whether the device file is a tap(4)
743 if (fstat(tap_fd, &st) == 0 && S_ISCHR(st.st_mode) &&
744 TAPDEV_MAJOR(st.st_rdev) == TAP_CDEV_MAJOR) {
745 *tap_unit = TAPDEV_MINOR(st.st_rdev);
748 * Bring up the corresponding tap(4) interface
750 if (netif_set_tapflags(*tap_unit, IFF_UP, s) == 0)
753 warnx("%s is not a tap(4) device", tap_dev);
769 * Following syntax is supported,
770 * 1) x.x.x.x tap(4)'s address is x.x.x.x
772 * 2) x.x.x.x/z tap(4)'s address is x.x.x.x
773 * tap(4)'s netmask len is z
775 * 3) x.x.x.x:y.y.y.y tap(4)'s address is x.x.x.x
776 * pseudo netif's address is y.y.y.y
778 * 4) x.x.x.x:y.y.y.y/z tap(4)'s address is x.x.x.x
779 * pseudo netif's address is y.y.y.y
780 * tap(4) and pseudo netif's netmask len are z
782 * 5) bridgeX tap(4) will be added to bridgeX
784 * 6) bridgeX:y.y.y.y tap(4) will be added to bridgeX
785 * pseudo netif's address is y.y.y.y
787 * 7) bridgeX:y.y.y.y/z tap(4) will be added to bridgeX
788 * pseudo netif's address is y.y.y.y
789 * pseudo netif's netmask len is z
793 netif_init_tap(int tap_unit, in_addr_t *addr, in_addr_t *mask, int s)
795 in_addr_t tap_addr, netmask, netif_addr;
797 char *tok, *masklen_str, *ifbridge;
802 tok = strtok(NULL, ":/");
805 * Nothing special, simply use tap(4) as backend
810 if (inet_pton(AF_INET, tok, &tap_addr) > 0) {
812 * tap(4)'s address is supplied
817 * If there is next token, then it may be pseudo
818 * netif's address or netmask len for tap(4)
823 * Not tap(4)'s address, assume it as a bridge(4)
830 * If there is next token, then it must be pseudo
836 netmask = netif_addr = 0;
838 tok = strtok(NULL, ":/");
842 if (inet_pton(AF_INET, tok, &netif_addr) <= 0) {
843 if (next_netif_addr) {
844 warnx("Invalid pseudo netif address: %s", tok);
850 * Current token is not address, then it must be netmask len
855 * Current token is pseudo netif address, if there is next token
856 * it must be netmask len
858 masklen_str = strtok(NULL, "/");
861 /* Calculate netmask */
862 if (masklen_str != NULL) {
865 masklen = strtoul(masklen_str, NULL, 10);
866 if (masklen < 32 && masklen > 0) {
867 netmask = htonl(~((1LL << (32 - masklen)) - 1)
870 warnx("Invalid netmask len: %lu", masklen);
875 /* Make sure there is no more token left */
876 if (strtok(NULL, ":/") != NULL) {
877 warnx("Invalid argument to '-I'");
882 if (ifbridge == NULL) {
883 /* Set tap(4) address/netmask */
884 if (netif_set_tapaddr(tap_unit, tap_addr, netmask, s) < 0)
887 /* Tie tap(4) to bridge(4) */
888 if (netif_add_tap2brg(tap_unit, ifbridge, s) < 0)
898 * NetifInfo[] will be filled for pseudo netif initialization.
899 * NetifNum will be bumped to reflect the number of valid entries
904 init_netif(char *netifExp[], int netifExpNum)
908 if (netifExpNum == 0)
911 s = socket(AF_INET, SOCK_DGRAM, 0); /* for ioctl(SIOC) */
915 for (i = 0; i < netifExpNum; ++i) {
916 struct vknetif_info *info;
917 in_addr_t netif_addr, netif_mask;
918 int tap_fd, tap_unit;
921 netif = strtok(netifExp[i], ":");
923 warnx("Invalide argument to '-I'");
928 * Open tap(4) device file and bring up the
929 * corresponding interface
931 tap_fd = netif_open_tap(netif, &tap_unit, s);
936 * Initialize tap(4) and get address/netmask
939 * NB: Rest part of netifExp[i] is passed
940 * to netif_init_tap() implicitly.
942 if (netif_init_tap(tap_unit, &netif_addr, &netif_mask, s) < 0) {
944 * NB: Closing tap(4) device file will bring
945 * down the corresponding interface
951 info = &NetifInfo[NetifNum];
952 info->tap_fd = tap_fd;
953 info->tap_unit = tap_unit;
954 info->netif_addr = netif_addr;
955 info->netif_mask = netif_mask;
958 if (NetifNum >= VKNETIF_MAX) /* XXX will this happen? */
966 usage(const char *ctl)
974 kprintf("cpu reset\n");
981 kprintf("cpu halt\n");
983 __asm__ __volatile("hlt");