11a9cdd37SRoger Pau Monné /* 21a9cdd37SRoger Pau Monné * Copyright (c) 2004 Christian Limpach. 31a9cdd37SRoger Pau Monné * Copyright (c) 2004-2006,2008 Kip Macy 41a9cdd37SRoger Pau Monné * Copyright (c) 2013 Roger Pau Monné <roger.pau@citrix.com> 51a9cdd37SRoger Pau Monné * All rights reserved. 61a9cdd37SRoger Pau Monné * 71a9cdd37SRoger Pau Monné * Redistribution and use in source and binary forms, with or without 81a9cdd37SRoger Pau Monné * modification, are permitted provided that the following conditions 91a9cdd37SRoger Pau Monné * are met: 101a9cdd37SRoger Pau Monné * 1. Redistributions of source code must retain the above copyright 111a9cdd37SRoger Pau Monné * notice, this list of conditions and the following disclaimer. 121a9cdd37SRoger Pau Monné * 2. Redistributions in binary form must reproduce the above copyright 131a9cdd37SRoger Pau Monné * notice, this list of conditions and the following disclaimer in the 141a9cdd37SRoger Pau Monné * documentation and/or other materials provided with the distribution. 151a9cdd37SRoger Pau Monné * 161a9cdd37SRoger Pau Monné * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS AS IS'' AND 171a9cdd37SRoger Pau Monné * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 181a9cdd37SRoger Pau Monné * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 191a9cdd37SRoger Pau Monné * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 201a9cdd37SRoger Pau Monné * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 211a9cdd37SRoger Pau Monné * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 221a9cdd37SRoger Pau Monné * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 231a9cdd37SRoger Pau Monné * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 241a9cdd37SRoger Pau Monné * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 251a9cdd37SRoger Pau Monné * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 261a9cdd37SRoger Pau Monné * SUCH DAMAGE. 271a9cdd37SRoger Pau Monné */ 281a9cdd37SRoger Pau Monné 291a9cdd37SRoger Pau Monné #include <sys/cdefs.h> 301a9cdd37SRoger Pau Monné __FBSDID("$FreeBSD$"); 311a9cdd37SRoger Pau Monné 321a9cdd37SRoger Pau Monné #include <sys/param.h> 331a9cdd37SRoger Pau Monné #include <sys/bus.h> 341a9cdd37SRoger Pau Monné #include <sys/kernel.h> 351a9cdd37SRoger Pau Monné #include <sys/reboot.h> 361a9cdd37SRoger Pau Monné #include <sys/systm.h> 371a9cdd37SRoger Pau Monné #include <sys/lock.h> 381a9cdd37SRoger Pau Monné #include <sys/rwlock.h> 39*aa389b4fSRoger Pau Monné #include <sys/boot.h> 401a9cdd37SRoger Pau Monné 411a9cdd37SRoger Pau Monné #include <vm/vm.h> 421a9cdd37SRoger Pau Monné #include <vm/vm_extern.h> 431a9cdd37SRoger Pau Monné #include <vm/vm_kern.h> 441a9cdd37SRoger Pau Monné #include <vm/vm_page.h> 451a9cdd37SRoger Pau Monné #include <vm/vm_map.h> 461a9cdd37SRoger Pau Monné #include <vm/vm_object.h> 471a9cdd37SRoger Pau Monné #include <vm/vm_pager.h> 481a9cdd37SRoger Pau Monné #include <vm/vm_param.h> 491a9cdd37SRoger Pau Monné 501a9cdd37SRoger Pau Monné #include <xen/xen-os.h> 511a9cdd37SRoger Pau Monné #include <xen/hypervisor.h> 521a9cdd37SRoger Pau Monné 531a9cdd37SRoger Pau Monné /* Native initial function */ 541a9cdd37SRoger Pau Monné extern u_int64_t hammer_time(u_int64_t, u_int64_t); 551a9cdd37SRoger Pau Monné /* Xen initial function */ 561a9cdd37SRoger Pau Monné uint64_t hammer_time_xen(start_info_t *, uint64_t); 571a9cdd37SRoger Pau Monné 581a9cdd37SRoger Pau Monné /* 591a9cdd37SRoger Pau Monné * First function called by the Xen PVH boot sequence. 601a9cdd37SRoger Pau Monné * 611a9cdd37SRoger Pau Monné * Set some Xen global variables and prepare the environment so it is 621a9cdd37SRoger Pau Monné * as similar as possible to what native FreeBSD init function expects. 631a9cdd37SRoger Pau Monné */ 641a9cdd37SRoger Pau Monné uint64_t 651a9cdd37SRoger Pau Monné hammer_time_xen(start_info_t *si, uint64_t xenstack) 661a9cdd37SRoger Pau Monné { 671a9cdd37SRoger Pau Monné uint64_t physfree; 681a9cdd37SRoger Pau Monné uint64_t *PT4 = (u_int64_t *)xenstack; 691a9cdd37SRoger Pau Monné uint64_t *PT3 = (u_int64_t *)(xenstack + PAGE_SIZE); 701a9cdd37SRoger Pau Monné uint64_t *PT2 = (u_int64_t *)(xenstack + 2 * PAGE_SIZE); 711a9cdd37SRoger Pau Monné int i; 721a9cdd37SRoger Pau Monné 731a9cdd37SRoger Pau Monné xen_domain_type = XEN_PV_DOMAIN; 741a9cdd37SRoger Pau Monné vm_guest = VM_GUEST_XEN; 751a9cdd37SRoger Pau Monné 761a9cdd37SRoger Pau Monné if ((si == NULL) || (xenstack == 0)) { 77c203fa69SRoger Pau Monné xc_printf("ERROR: invalid start_info or xen stack, halting\n"); 781a9cdd37SRoger Pau Monné HYPERVISOR_shutdown(SHUTDOWN_crash); 791a9cdd37SRoger Pau Monné } 801a9cdd37SRoger Pau Monné 81c203fa69SRoger Pau Monné xc_printf("FreeBSD PVH running on %s\n", si->magic); 82c203fa69SRoger Pau Monné 831a9cdd37SRoger Pau Monné /* We use 3 pages of xen stack for the boot pagetables */ 841a9cdd37SRoger Pau Monné physfree = xenstack + 3 * PAGE_SIZE - KERNBASE; 851a9cdd37SRoger Pau Monné 861a9cdd37SRoger Pau Monné /* Setup Xen global variables */ 871a9cdd37SRoger Pau Monné HYPERVISOR_start_info = si; 881a9cdd37SRoger Pau Monné HYPERVISOR_shared_info = 891a9cdd37SRoger Pau Monné (shared_info_t *)(si->shared_info + KERNBASE); 901a9cdd37SRoger Pau Monné 911a9cdd37SRoger Pau Monné /* 921a9cdd37SRoger Pau Monné * Setup some misc global variables for Xen devices 931a9cdd37SRoger Pau Monné * 941a9cdd37SRoger Pau Monné * XXX: Devices that need these specific variables should 951a9cdd37SRoger Pau Monné * be rewritten to fetch this info by themselves from the 961a9cdd37SRoger Pau Monné * start_info page. 971a9cdd37SRoger Pau Monné */ 981a9cdd37SRoger Pau Monné xen_store = (struct xenstore_domain_interface *) 991a9cdd37SRoger Pau Monné (ptoa(si->store_mfn) + KERNBASE); 100c203fa69SRoger Pau Monné console_page = (char *)(ptoa(si->console.domU.mfn) + KERNBASE); 1011a9cdd37SRoger Pau Monné 1021a9cdd37SRoger Pau Monné /* 1031a9cdd37SRoger Pau Monné * Use the stack Xen gives us to build the page tables 1041a9cdd37SRoger Pau Monné * as native FreeBSD expects to find them (created 1051a9cdd37SRoger Pau Monné * by the boot trampoline). 1061a9cdd37SRoger Pau Monné */ 1071a9cdd37SRoger Pau Monné for (i = 0; i < (PAGE_SIZE / sizeof(uint64_t)); i++) { 1081a9cdd37SRoger Pau Monné /* Each slot of the level 4 pages points to the same level 3 page */ 1091a9cdd37SRoger Pau Monné PT4[i] = ((uint64_t)&PT3[0]) - KERNBASE; 1101a9cdd37SRoger Pau Monné PT4[i] |= PG_V | PG_RW | PG_U; 1111a9cdd37SRoger Pau Monné 1121a9cdd37SRoger Pau Monné /* Each slot of the level 3 pages points to the same level 2 page */ 1131a9cdd37SRoger Pau Monné PT3[i] = ((uint64_t)&PT2[0]) - KERNBASE; 1141a9cdd37SRoger Pau Monné PT3[i] |= PG_V | PG_RW | PG_U; 1151a9cdd37SRoger Pau Monné 1161a9cdd37SRoger Pau Monné /* The level 2 page slots are mapped with 2MB pages for 1GB. */ 1171a9cdd37SRoger Pau Monné PT2[i] = i * (2 * 1024 * 1024); 1181a9cdd37SRoger Pau Monné PT2[i] |= PG_V | PG_RW | PG_PS | PG_U; 1191a9cdd37SRoger Pau Monné } 1201a9cdd37SRoger Pau Monné load_cr3(((uint64_t)&PT4[0]) - KERNBASE); 1211a9cdd37SRoger Pau Monné 1221a9cdd37SRoger Pau Monné /* Now we can jump into the native init function */ 1231a9cdd37SRoger Pau Monné return (hammer_time(0, physfree)); 1241a9cdd37SRoger Pau Monné } 125