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