843e19887f64dde75055cf8842fc4db2171eff45johnlev/*
843e19887f64dde75055cf8842fc4db2171eff45johnlev * CDDL HEADER START
843e19887f64dde75055cf8842fc4db2171eff45johnlev *
843e19887f64dde75055cf8842fc4db2171eff45johnlev * The contents of this file are subject to the terms of the
843e19887f64dde75055cf8842fc4db2171eff45johnlev * Common Development and Distribution License (the "License").
843e19887f64dde75055cf8842fc4db2171eff45johnlev * You may not use this file except in compliance with the License.
843e19887f64dde75055cf8842fc4db2171eff45johnlev *
843e19887f64dde75055cf8842fc4db2171eff45johnlev * You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
843e19887f64dde75055cf8842fc4db2171eff45johnlev * or http://www.opensolaris.org/os/licensing.
843e19887f64dde75055cf8842fc4db2171eff45johnlev * See the License for the specific language governing permissions
843e19887f64dde75055cf8842fc4db2171eff45johnlev * and limitations under the License.
843e19887f64dde75055cf8842fc4db2171eff45johnlev *
843e19887f64dde75055cf8842fc4db2171eff45johnlev * When distributing Covered Code, include this CDDL HEADER in each
843e19887f64dde75055cf8842fc4db2171eff45johnlev * file and include the License file at usr/src/OPENSOLARIS.LICENSE.
843e19887f64dde75055cf8842fc4db2171eff45johnlev * If applicable, add the following below this CDDL HEADER, with the
843e19887f64dde75055cf8842fc4db2171eff45johnlev * fields enclosed by brackets "[]" replaced with your own identifying
843e19887f64dde75055cf8842fc4db2171eff45johnlev * information: Portions Copyright [yyyy] [name of copyright owner]
843e19887f64dde75055cf8842fc4db2171eff45johnlev *
843e19887f64dde75055cf8842fc4db2171eff45johnlev * CDDL HEADER END
843e19887f64dde75055cf8842fc4db2171eff45johnlev */
843e19887f64dde75055cf8842fc4db2171eff45johnlev/*
349b53dd4e695e3d833b5380540385145b2d3ae8Stuart Maybee * Copyright 2009 Sun Microsystems, Inc. All rights reserved.
843e19887f64dde75055cf8842fc4db2171eff45johnlev * Use is subject to license terms.
843e19887f64dde75055cf8842fc4db2171eff45johnlev */
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlev#ifndef _SYS_XEN_MMU_H
843e19887f64dde75055cf8842fc4db2171eff45johnlev#define _SYS_XEN_MMU_H
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlev#ifdef __cplusplus
843e19887f64dde75055cf8842fc4db2171eff45johnlevextern "C" {
843e19887f64dde75055cf8842fc4db2171eff45johnlev#endif
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlev/*
843e19887f64dde75055cf8842fc4db2171eff45johnlev * Platform-dependent MMU routines and types for the hypervisor.
843e19887f64dde75055cf8842fc4db2171eff45johnlev *
843e19887f64dde75055cf8842fc4db2171eff45johnlev * WARNING: this header file is used by both dboot and i86pc, so don't go using
843e19887f64dde75055cf8842fc4db2171eff45johnlev * normal kernel headers.
843e19887f64dde75055cf8842fc4db2171eff45johnlev */
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlev#if (defined(_BOOT) && defined(_BOOT_TARGET_amd64)) || \
843e19887f64dde75055cf8842fc4db2171eff45johnlev (!defined(_BOOT) && defined(__amd64))
843e19887f64dde75055cf8842fc4db2171eff45johnlev#define __target_amd64
843e19887f64dde75055cf8842fc4db2171eff45johnlev#endif
843e19887f64dde75055cf8842fc4db2171eff45johnlev
349b53dd4e695e3d833b5380540385145b2d3ae8Stuart Maybeetypedef uint64_t maddr_t;
349b53dd4e695e3d833b5380540385145b2d3ae8Stuart Maybee#define mfn_to_ma(mfn) ((maddr_t)(mfn) << MMU_PAGESHIFT)
349b53dd4e695e3d833b5380540385145b2d3ae8Stuart Maybee
349b53dd4e695e3d833b5380540385145b2d3ae8Stuart Maybee#ifdef __xpv
349b53dd4e695e3d833b5380540385145b2d3ae8Stuart Maybee
843e19887f64dde75055cf8842fc4db2171eff45johnlev#ifdef __target_amd64
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlev#define IN_HYPERVISOR_VA(va) \
843e19887f64dde75055cf8842fc4db2171eff45johnlev ((va) >= HYPERVISOR_VIRT_START && (va) < HYPERVISOR_VIRT_END)
843e19887f64dde75055cf8842fc4db2171eff45johnlev
349b53dd4e695e3d833b5380540385145b2d3ae8Stuart Maybee#else /* __target_amd64 */
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlev#define IN_HYPERVISOR_VA(va) ((va) >= xen_virt_start)
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlev/*
843e19887f64dde75055cf8842fc4db2171eff45johnlev * Do this to help catch any uses.
843e19887f64dde75055cf8842fc4db2171eff45johnlev */
843e19887f64dde75055cf8842fc4db2171eff45johnlev#undef HYPERVISOR_VIRT_START
843e19887f64dde75055cf8842fc4db2171eff45johnlev#undef machine_to_phys_mapping
843e19887f64dde75055cf8842fc4db2171eff45johnlev
349b53dd4e695e3d833b5380540385145b2d3ae8Stuart Maybee#endif /* __target_amd64 */
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlev#undef __target_amd64
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlevpaddr_t ma_to_pa(maddr_t);
843e19887f64dde75055cf8842fc4db2171eff45johnlevmaddr_t pa_to_ma(paddr_t);
349b53dd4e695e3d833b5380540385145b2d3ae8Stuart Maybee#endif /* __xpv */
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlevextern uintptr_t xen_virt_start;
843e19887f64dde75055cf8842fc4db2171eff45johnlevextern pfn_t *mfn_to_pfn_mapping;
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlev#ifndef _BOOT
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlev/*
843e19887f64dde75055cf8842fc4db2171eff45johnlev * On the hypervisor we need:
843e19887f64dde75055cf8842fc4db2171eff45johnlev * - a way to map a machine address (ie, not pseudo-physical).
843e19887f64dde75055cf8842fc4db2171eff45johnlev * - to relocate initial hypervisor data structures into kernel VA range.
843e19887f64dde75055cf8842fc4db2171eff45johnlev * - a way to translate between physical addresses and machine addresses.
843e19887f64dde75055cf8842fc4db2171eff45johnlev * - a way to change the machine address behind a physical address.
843e19887f64dde75055cf8842fc4db2171eff45johnlev */
843e19887f64dde75055cf8842fc4db2171eff45johnlevtypedef ulong_t mfn_t;
843e19887f64dde75055cf8842fc4db2171eff45johnlevextern mfn_t *mfn_list;
843e19887f64dde75055cf8842fc4db2171eff45johnlevextern mfn_t *mfn_list_pages;
843e19887f64dde75055cf8842fc4db2171eff45johnlevextern mfn_t *mfn_list_pages_page;
843e19887f64dde75055cf8842fc4db2171eff45johnlevextern ulong_t mfn_count;
843e19887f64dde75055cf8842fc4db2171eff45johnlevextern mfn_t cached_max_mfn;
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlev/*
843e19887f64dde75055cf8842fc4db2171eff45johnlev * locks for mfn_list[] and machine_to_phys_mapping[] when migration / suspend
843e19887f64dde75055cf8842fc4db2171eff45johnlev * events happen
843e19887f64dde75055cf8842fc4db2171eff45johnlev */
843e19887f64dde75055cf8842fc4db2171eff45johnlevextern void xen_block_migrate(void);
843e19887f64dde75055cf8842fc4db2171eff45johnlevextern void xen_allow_migrate(void);
843e19887f64dde75055cf8842fc4db2171eff45johnlevextern void xen_start_migrate(void);
843e19887f64dde75055cf8842fc4db2171eff45johnlevextern void xen_end_migrate(void);
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlev/*
843e19887f64dde75055cf8842fc4db2171eff45johnlev * Conversion between machine (hardware) addresses and pseudo-physical
843e19887f64dde75055cf8842fc4db2171eff45johnlev * addresses.
843e19887f64dde75055cf8842fc4db2171eff45johnlev */
349b53dd4e695e3d833b5380540385145b2d3ae8Stuart Maybee#ifdef __xpv
843e19887f64dde75055cf8842fc4db2171eff45johnlevpfn_t mfn_to_pfn(mfn_t);
843e19887f64dde75055cf8842fc4db2171eff45johnlevmfn_t pfn_to_mfn(pfn_t);
349b53dd4e695e3d833b5380540385145b2d3ae8Stuart Maybee#endif
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlevstruct page;
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlevvoid xen_relocate_start_info(void);
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlev/*
843e19887f64dde75055cf8842fc4db2171eff45johnlev * interfaces to create/destroy pfn_t values for devices or foreign memory
843e19887f64dde75055cf8842fc4db2171eff45johnlev *
843e19887f64dde75055cf8842fc4db2171eff45johnlev * xen_assign_pfn() creates (or looks up) a local pfn value to use for things
843e19887f64dde75055cf8842fc4db2171eff45johnlev * like a foreign domain memory mfn or a device mfn.
843e19887f64dde75055cf8842fc4db2171eff45johnlev *
843e19887f64dde75055cf8842fc4db2171eff45johnlev * xen_release_pfn() destroys the association between a pfn and foreign mfn.
843e19887f64dde75055cf8842fc4db2171eff45johnlev */
843e19887f64dde75055cf8842fc4db2171eff45johnlevpfn_t xen_assign_pfn(mfn_t mfn);
843e19887f64dde75055cf8842fc4db2171eff45johnlevvoid xen_release_pfn(pfn_t);
843e19887f64dde75055cf8842fc4db2171eff45johnlevuint_t pfn_is_foreign(pfn_t);
843e19887f64dde75055cf8842fc4db2171eff45johnlevvoid reassign_pfn(pfn_t pfn, mfn_t mfn);
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlev#define MFN_INVALID (-(mfn_t)1)
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlev#endif /* !_BOOT */
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlev#ifdef __cplusplus
843e19887f64dde75055cf8842fc4db2171eff45johnlev}
843e19887f64dde75055cf8842fc4db2171eff45johnlev#endif
843e19887f64dde75055cf8842fc4db2171eff45johnlev
843e19887f64dde75055cf8842fc4db2171eff45johnlev#endif /* _SYS_XEN_MMU_H */