sys/amd64/vmm/vmm_util.c

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