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