sys/sys/devmap.h

   1 /*-
   2  * SPDX-License-Identifier: BSD-2-Clause-FreeBSD
   3  *
   4  * Copyright (c) 2013 Ian Lepore <ian@freebsd.org>
   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 THE AUTHOR AND CONTRIBUTORS ``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 THE AUTHOR 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 #ifndef _SYS_DEVMAP_H_
  32 #define _SYS_DEVMAP_H_
  33
  34 #ifndef _KERNEL
  35 #error "no user-serviceable parts inside"
  36 #endif
  37
  38 /*
  39  * This structure is used by MD code to describe static mappings of devices
  40  * which are established as part of bringing up the MMU early in the boot.
  41  */
  42 struct devmap_entry {
  43         vm_offset_t     pd_va;          /* virtual address */
  44         vm_paddr_t      pd_pa;          /* physical address */
  45         vm_size_t       pd_size;        /* size of region */
  46 };
  47
  48 /*
  49  * Return the lowest KVA address used in any entry in the registered devmap
  50  * table.  This works with whatever table is registered, including the internal
  51  * table used by devmap_add_entry() if that routine was used. Platforms can
  52  * implement platform_lastaddr() by calling this if static device mappings are
  53  * their only use of high KVA space.
  54  */
  55 vm_offset_t devmap_lastaddr(void);
  56
  57 /*
  58  * Automatically allocate KVA (from the top of the address space downwards) and
  59  * make static device mapping entries in an internal table.  The internal table
  60  * is automatically registered on the first call to this.
  61  */
  62 void devmap_add_entry(vm_paddr_t pa, vm_size_t sz);
  63
  64 /*
  65  * Register a platform-local table to be bootstrapped by the generic
  66  * initarm() in arm/machdep.c.  This is used by newer code that allocates and
  67  * fills in its own local table but does not have its own initarm() routine.
  68  */
  69 void devmap_register_table(const struct devmap_entry * _table);
  70
  71 /*
  72  * Establish mappings for all the entries in the table.  This is called
  73  * automatically from the common initarm() in arm/machdep.c, and also from the
  74  * custom initarm() routines in older code.  If the table pointer is NULL, this
  75  * will use the table installed previously by devmap_register_table().
  76  */
  77 void devmap_bootstrap(vm_offset_t _l1pt,
  78     const struct devmap_entry *_table);
  79
  80 /*
  81  * Translate between virtual and physical addresses within a region that is
  82  * static-mapped by the devmap code.  If the given address range isn't
  83  * static-mapped, then ptov returns NULL and vtop returns DEVMAP_PADDR_NOTFOUND.
  84  * The latter implies that you can't vtop just the last byte of physical address
  85  * space.  This is not as limiting as it might sound, because even if a device
  86  * occupies the end of the physical address space, you're only prevented from
  87  * doing vtop for that single byte.  If you vtop a size bigger than 1 it works.
  88  */
  89 #define DEVMAP_PADDR_NOTFOUND   ((vm_paddr_t)(-1))
  90
  91 void *     devmap_ptov(vm_paddr_t _pa, vm_size_t _sz);
  92 vm_paddr_t devmap_vtop(void * _va, vm_size_t _sz);
  93
  94 /* Print the static mapping table; used for bootverbose output. */
  95 void devmap_print_table(void);
  96
  97 #endif /* !_SYS_DEVMAP_H_ */