sys/amd64/vmm/vmm_util.c

   1 /*-
   2  * Copyright (c) 2011 NetApp, Inc.
   3  * All rights reserved.
   4  *
   5  * Redistribution and use in source and binary forms, with or without
   6  * modification, are permitted provided that the following conditions
   7  * are met:
   8  * 1. Redistributions of source code must retain the above copyright
   9  *    notice, this list of conditions and the following disclaimer.
  10  * 2. Redistributions in binary form must reproduce the above copyright
  11  *    notice, this list of conditions and the following disclaimer in the
  12  *    documentation and/or other materials provided with the distribution.
  13  *
  14  * THIS SOFTWARE IS PROVIDED BY NETAPP, INC ``AS IS'' AND
  15  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  16  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  17  * ARE DISCLAIMED.  IN NO EVENT SHALL NETAPP, INC OR CONTRIBUTORS BE LIABLE
  18  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  19  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  20  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  21  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  22  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  23  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  24  * SUCH DAMAGE.
  25  *
  26  * $FreeBSD$
  27  */
  28
  29 #include <sys/cdefs.h>
  30 __FBSDID("$FreeBSD$");
  31
  32 #include <sys/param.h>
  33 #include <sys/libkern.h>
  34
  35 #include <machine/md_var.h>
  36
  37 #include "vmm_util.h"
  38
  39 boolean_t
  40 vmm_is_intel(void)
  41 {
  42
  43         if (strcmp(cpu_vendor, "GenuineIntel") == 0)
  44                 return (TRUE);
  45         else
  46                 return (FALSE);
  47 }
  48
  49 boolean_t
  50 vmm_is_amd(void)
  51 {
  52         if (strcmp(cpu_vendor, "AuthenticAMD") == 0)
  53                 return (TRUE);
  54         else
  55                 return (FALSE);
  56 }
  57
  58 boolean_t
  59 vmm_supports_1G_pages(void)
  60 {
  61         unsigned int regs[4];
  62
  63         /*
  64          * CPUID.80000001:EDX[bit 26] = 1 indicates support for 1GB pages
  65          *
  66          * Both Intel and AMD support this bit.
  67          */
  68         if (cpu_exthigh >= 0x80000001) {
  69                 do_cpuid(0x80000001, regs);
  70                 if (regs[3] & (1 << 26))
  71                         return (TRUE);
  72         }
  73         return (FALSE);
  74 }
  75
  76 #include <sys/proc.h>
  77 #include <machine/frame.h>
  78 #define DUMP_REG(x)     printf(#x "\t\t0x%016lx\n", (long)(tf->tf_ ## x))
  79 #define DUMP_SEG(x)     printf(#x "\t\t0x%04x\n", (unsigned)(tf->tf_ ## x))
  80 void
  81 dump_trapframe(struct trapframe *tf)
  82 {
  83         DUMP_REG(rdi);
  84         DUMP_REG(rsi);
  85         DUMP_REG(rdx);
  86         DUMP_REG(rcx);
  87         DUMP_REG(r8);
  88         DUMP_REG(r9);
  89         DUMP_REG(rax);
  90         DUMP_REG(rbx);
  91         DUMP_REG(rbp);
  92         DUMP_REG(r10);
  93         DUMP_REG(r11);
  94         DUMP_REG(r12);
  95         DUMP_REG(r13);
  96         DUMP_REG(r14);
  97         DUMP_REG(r15);
  98         DUMP_REG(trapno);
  99         DUMP_REG(addr);
 100         DUMP_REG(flags);
 101         DUMP_REG(err);
 102         DUMP_REG(rip);
 103         DUMP_REG(rflags);
 104         DUMP_REG(rsp);
 105         DUMP_SEG(cs);
 106         DUMP_SEG(ss);
 107         DUMP_SEG(fs);
 108         DUMP_SEG(gs);
 109         DUMP_SEG(es);
 110         DUMP_SEG(ds);
 111 }