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 } 115