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 bool
  42 vmm_is_hw_supported(void)
  43 {
  44         return (vmm_is_intel() || vmm_is_svm());
  45 }
  46
  47 bool
  48 vmm_is_intel(void)
  49 {
  50
  51         return (strcmp(cpu_vendor, "GenuineIntel") == 0);
  52 }
  53
  54 bool
  55 vmm_is_svm(void)
  56 {
  57         return (strcmp(cpu_vendor, "AuthenticAMD") == 0 ||
  58             strcmp(cpu_vendor, "HygonGenuine") == 0);
  59 }
  60
  61 bool
  62 vmm_supports_1G_pages(void)
  63 {
  64         unsigned int regs[4];
  65
  66         /*
  67          * CPUID.80000001:EDX[bit 26] = 1 indicates support for 1GB pages
  68          *
  69          * Both Intel and AMD support this bit.
  70          */
  71         if (cpu_exthigh >= 0x80000001) {
  72                 do_cpuid(0x80000001, regs);
  73                 if (regs[3] & (1 << 26))
  74                         return (true);
  75         }
  76         return (false);
  77 }
  78
  79 #include <sys/proc.h>
  80 #include <machine/frame.h>
  81 #define DUMP_REG(x)     printf(#x "\t\t0x%016lx\n", (long)(tf->tf_ ## x))
  82 #define DUMP_SEG(x)     printf(#x "\t\t0x%04x\n", (unsigned)(tf->tf_ ## x))
  83 void
  84 dump_trapframe(struct trapframe *tf)
  85 {
  86         DUMP_REG(rdi);
  87         DUMP_REG(rsi);
  88         DUMP_REG(rdx);
  89         DUMP_REG(rcx);
  90         DUMP_REG(r8);
  91         DUMP_REG(r9);
  92         DUMP_REG(rax);
  93         DUMP_REG(rbx);
  94         DUMP_REG(rbp);
  95         DUMP_REG(r10);
  96         DUMP_REG(r11);
  97         DUMP_REG(r12);
  98         DUMP_REG(r13);
  99         DUMP_REG(r14);
 100         DUMP_REG(r15);
 101         DUMP_REG(trapno);
 102         DUMP_REG(addr);
 103         DUMP_REG(flags);
 104         DUMP_REG(err);
 105         DUMP_REG(rip);
 106         DUMP_REG(rflags);
 107         DUMP_REG(rsp);
 108         DUMP_SEG(cs);
 109         DUMP_SEG(ss);
 110         DUMP_SEG(fs);
 111         DUMP_SEG(gs);
 112         DUMP_SEG(es);
 113         DUMP_SEG(ds);
 114 }