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