2013-11-04 19:44:37 +00:00
|
|
|
/*-
|
|
|
|
* Copyright (c) 2013 Ian Lepore <ian@freebsd.org>
|
|
|
|
* All rights reserved.
|
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions
|
|
|
|
* are met:
|
|
|
|
* 1. Redistributions of source code must retain the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer.
|
|
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
|
|
* documentation and/or other materials provided with the distribution.
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
|
|
|
|
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
|
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
|
|
|
|
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
|
|
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
|
|
|
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
|
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
|
|
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
|
|
|
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
|
|
* SUCH DAMAGE.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <sys/cdefs.h>
|
|
|
|
__FBSDID("$FreeBSD$");
|
|
|
|
|
2016-04-26 11:53:37 +00:00
|
|
|
/* Routines for mapping device memory. */
|
2013-11-04 19:44:37 +00:00
|
|
|
|
2014-01-09 18:51:57 +00:00
|
|
|
#include "opt_ddb.h"
|
|
|
|
|
2013-11-04 19:44:37 +00:00
|
|
|
#include <sys/param.h>
|
|
|
|
#include <sys/systm.h>
|
2016-04-26 11:53:37 +00:00
|
|
|
#include <sys/devmap.h>
|
2013-11-04 19:44:37 +00:00
|
|
|
#include <vm/vm.h>
|
|
|
|
#include <vm/vm_extern.h>
|
|
|
|
#include <vm/pmap.h>
|
2015-04-13 13:21:27 +00:00
|
|
|
#include <machine/vmparam.h>
|
2013-11-04 19:44:37 +00:00
|
|
|
|
2016-04-26 11:53:37 +00:00
|
|
|
static const struct devmap_entry *devmap_table;
|
2013-11-05 04:30:55 +00:00
|
|
|
static boolean_t devmap_bootstrap_done = false;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* The allocated-kva (akva) devmap table and metadata. Platforms can call
|
2016-04-26 11:53:37 +00:00
|
|
|
* devmap_add_entry() to add static device mappings to this table using
|
2013-11-05 04:30:55 +00:00
|
|
|
* automatically allocated virtual addresses carved out of the top of kva space.
|
2019-10-15 23:21:52 +00:00
|
|
|
* Allocation begins immediately below the max kernel virtual address.
|
2013-11-05 04:30:55 +00:00
|
|
|
*/
|
|
|
|
#define AKVA_DEVMAP_MAX_ENTRIES 32
|
2016-04-26 11:53:37 +00:00
|
|
|
static struct devmap_entry akva_devmap_entries[AKVA_DEVMAP_MAX_ENTRIES];
|
2013-11-05 04:30:55 +00:00
|
|
|
static u_int akva_devmap_idx;
|
2016-04-26 11:53:37 +00:00
|
|
|
static vm_offset_t akva_devmap_vaddr = DEVMAP_MAX_VADDR;
|
2015-04-13 13:21:27 +00:00
|
|
|
|
2017-08-07 14:09:57 +00:00
|
|
|
#if defined(__aarch64__) || defined(__riscv)
|
2015-04-13 13:21:27 +00:00
|
|
|
extern int early_boot;
|
|
|
|
#endif
|
2013-11-05 04:30:55 +00:00
|
|
|
|
2014-01-09 18:51:57 +00:00
|
|
|
/*
|
|
|
|
* Print the contents of the static mapping table using the provided printf-like
|
|
|
|
* output function (which will be either printf or db_printf).
|
|
|
|
*/
|
|
|
|
static void
|
|
|
|
devmap_dump_table(int (*prfunc)(const char *, ...))
|
|
|
|
{
|
2016-04-26 11:53:37 +00:00
|
|
|
const struct devmap_entry *pd;
|
2014-01-09 18:51:57 +00:00
|
|
|
|
|
|
|
if (devmap_table == NULL || devmap_table[0].pd_size == 0) {
|
|
|
|
prfunc("No static device mappings.\n");
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
prfunc("Static device mappings:\n");
|
|
|
|
for (pd = devmap_table; pd->pd_size != 0; ++pd) {
|
2019-12-20 03:40:53 +00:00
|
|
|
prfunc(" 0x%08jx - 0x%08jx mapped at VA 0x%08jx\n",
|
2021-01-11 20:58:12 +00:00
|
|
|
(uintmax_t)pd->pd_pa,
|
|
|
|
(uintmax_t)(pd->pd_pa + pd->pd_size - 1),
|
|
|
|
(uintmax_t)pd->pd_va);
|
2014-01-09 18:51:57 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Print the contents of the static mapping table. Used for bootverbose.
|
|
|
|
*/
|
|
|
|
void
|
2016-04-26 11:53:37 +00:00
|
|
|
devmap_print_table()
|
2014-01-09 18:51:57 +00:00
|
|
|
{
|
|
|
|
devmap_dump_table(printf);
|
|
|
|
}
|
|
|
|
|
2013-11-05 04:30:55 +00:00
|
|
|
/*
|
|
|
|
* Return the "last" kva address used by the registered devmap table. It's
|
|
|
|
* actually the lowest address used by the static mappings, i.e., the address of
|
|
|
|
* the first unusable byte of KVA.
|
|
|
|
*/
|
|
|
|
vm_offset_t
|
2016-04-26 11:53:37 +00:00
|
|
|
devmap_lastaddr()
|
2013-11-05 04:30:55 +00:00
|
|
|
{
|
2016-04-26 11:53:37 +00:00
|
|
|
const struct devmap_entry *pd;
|
2013-11-05 05:01:46 +00:00
|
|
|
vm_offset_t lowaddr;
|
2013-11-05 04:30:55 +00:00
|
|
|
|
|
|
|
if (akva_devmap_idx > 0)
|
|
|
|
return (akva_devmap_vaddr);
|
|
|
|
|
2016-04-26 11:53:37 +00:00
|
|
|
lowaddr = DEVMAP_MAX_VADDR;
|
2014-01-06 16:07:27 +00:00
|
|
|
for (pd = devmap_table; pd != NULL && pd->pd_size != 0; ++pd) {
|
2013-11-05 04:30:55 +00:00
|
|
|
if (lowaddr > pd->pd_va)
|
|
|
|
lowaddr = pd->pd_va;
|
|
|
|
}
|
|
|
|
|
|
|
|
return (lowaddr);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Add an entry to the internal "akva" static devmap table using the given
|
|
|
|
* physical address and size and a virtual address allocated from the top of
|
|
|
|
* kva. This automatically registers the akva table on the first call, so all a
|
|
|
|
* platform has to do is call this routine to install as many mappings as it
|
2019-10-15 23:21:52 +00:00
|
|
|
* needs and when the platform-specific init function calls devmap_bootstrap()
|
|
|
|
* it will pick up all the entries in the akva table automatically.
|
2013-11-05 04:30:55 +00:00
|
|
|
*/
|
|
|
|
void
|
2016-04-26 11:53:37 +00:00
|
|
|
devmap_add_entry(vm_paddr_t pa, vm_size_t sz)
|
2013-11-05 04:30:55 +00:00
|
|
|
{
|
2016-04-26 11:53:37 +00:00
|
|
|
struct devmap_entry *m;
|
2013-11-05 04:30:55 +00:00
|
|
|
|
|
|
|
if (devmap_bootstrap_done)
|
2016-04-26 11:53:37 +00:00
|
|
|
panic("devmap_add_entry() after devmap_bootstrap()");
|
2013-11-05 04:30:55 +00:00
|
|
|
|
|
|
|
if (akva_devmap_idx == (AKVA_DEVMAP_MAX_ENTRIES - 1))
|
2013-11-05 05:01:46 +00:00
|
|
|
panic("AKVA_DEVMAP_MAX_ENTRIES is too small");
|
2013-11-05 04:30:55 +00:00
|
|
|
|
|
|
|
if (akva_devmap_idx == 0)
|
2016-04-26 11:53:37 +00:00
|
|
|
devmap_register_table(akva_devmap_entries);
|
2013-11-05 04:30:55 +00:00
|
|
|
|
2019-10-15 23:21:52 +00:00
|
|
|
/* Allocate virtual address space from the top of kva downwards. */
|
|
|
|
#ifdef __arm__
|
2013-11-05 04:30:55 +00:00
|
|
|
/*
|
2019-10-15 23:21:52 +00:00
|
|
|
* If the range being mapped is aligned and sized to 1MB boundaries then
|
|
|
|
* also align the virtual address to the next-lower 1MB boundary so that
|
|
|
|
* we end with a nice efficient section mapping.
|
2013-11-05 04:30:55 +00:00
|
|
|
*/
|
|
|
|
if ((pa & 0x000fffff) == 0 && (sz & 0x000fffff) == 0) {
|
|
|
|
akva_devmap_vaddr = trunc_1mpage(akva_devmap_vaddr - sz);
|
2015-04-13 13:21:27 +00:00
|
|
|
} else
|
|
|
|
#endif
|
|
|
|
{
|
2013-11-05 04:30:55 +00:00
|
|
|
akva_devmap_vaddr = trunc_page(akva_devmap_vaddr - sz);
|
|
|
|
}
|
|
|
|
m = &akva_devmap_entries[akva_devmap_idx++];
|
|
|
|
m->pd_va = akva_devmap_vaddr;
|
|
|
|
m->pd_pa = pa;
|
|
|
|
m->pd_size = sz;
|
|
|
|
}
|
2013-11-04 19:44:37 +00:00
|
|
|
|
|
|
|
/*
|
2016-04-26 11:53:37 +00:00
|
|
|
* Register the given table as the one to use in devmap_bootstrap().
|
2013-11-04 19:44:37 +00:00
|
|
|
*/
|
|
|
|
void
|
2016-04-26 11:53:37 +00:00
|
|
|
devmap_register_table(const struct devmap_entry *table)
|
2013-11-04 19:44:37 +00:00
|
|
|
{
|
|
|
|
|
|
|
|
devmap_table = table;
|
2013-11-04 22:45:26 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Map all of the static regions in the devmap table, and remember the devmap
|
|
|
|
* table so the mapdev, ptov, and vtop functions can do lookups later.
|
|
|
|
*
|
|
|
|
* If a non-NULL table pointer is given it is used unconditionally, otherwise
|
|
|
|
* the previously-registered table is used. This smooths transition from legacy
|
|
|
|
* code that fills in a local table then calls this function passing that table,
|
2016-04-26 11:53:37 +00:00
|
|
|
* and newer code that uses devmap_register_table() in platform-specific
|
2019-10-15 23:21:52 +00:00
|
|
|
* code, then lets the common platform-specific init function call this function
|
|
|
|
* with a NULL pointer.
|
2013-11-04 22:45:26 +00:00
|
|
|
*/
|
|
|
|
void
|
2016-04-26 11:53:37 +00:00
|
|
|
devmap_bootstrap(vm_offset_t l1pt, const struct devmap_entry *table)
|
2013-11-04 22:45:26 +00:00
|
|
|
{
|
2016-04-26 11:53:37 +00:00
|
|
|
const struct devmap_entry *pd;
|
2013-11-04 22:45:26 +00:00
|
|
|
|
2014-01-06 16:07:27 +00:00
|
|
|
devmap_bootstrap_done = true;
|
|
|
|
|
2013-11-04 22:45:26 +00:00
|
|
|
/*
|
2014-01-06 16:07:27 +00:00
|
|
|
* If given a table pointer, use it. Otherwise, if a table was
|
|
|
|
* previously registered, use it. Otherwise, no work to do.
|
2013-11-04 22:45:26 +00:00
|
|
|
*/
|
|
|
|
if (table != NULL)
|
|
|
|
devmap_table = table;
|
|
|
|
else if (devmap_table == NULL)
|
2014-01-06 16:07:27 +00:00
|
|
|
return;
|
2013-11-04 19:44:37 +00:00
|
|
|
|
|
|
|
for (pd = devmap_table; pd->pd_size != 0; ++pd) {
|
2015-04-13 13:21:27 +00:00
|
|
|
#if defined(__arm__)
|
2016-02-02 21:17:25 +00:00
|
|
|
#if __ARM_ARCH >= 6
|
|
|
|
pmap_preboot_map_attr(pd->pd_pa, pd->pd_va, pd->pd_size,
|
2016-02-17 12:36:24 +00:00
|
|
|
VM_PROT_READ | VM_PROT_WRITE, VM_MEMATTR_DEVICE);
|
2016-02-02 21:17:25 +00:00
|
|
|
#else
|
2013-11-04 19:44:37 +00:00
|
|
|
pmap_map_chunk(l1pt, pd->pd_va, pd->pd_pa, pd->pd_size,
|
2016-02-17 12:36:24 +00:00
|
|
|
VM_PROT_READ | VM_PROT_WRITE, PTE_DEVICE);
|
2016-02-02 21:17:25 +00:00
|
|
|
#endif
|
2017-08-07 14:09:57 +00:00
|
|
|
#elif defined(__aarch64__) || defined(__riscv)
|
2015-04-13 13:21:27 +00:00
|
|
|
pmap_kenter_device(pd->pd_va, pd->pd_size, pd->pd_pa);
|
|
|
|
#endif
|
2013-11-04 19:44:37 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Look up the given physical address in the static mapping data and return the
|
|
|
|
* corresponding virtual address, or NULL if not found.
|
|
|
|
*/
|
|
|
|
void *
|
2016-04-26 11:53:37 +00:00
|
|
|
devmap_ptov(vm_paddr_t pa, vm_size_t size)
|
2013-11-04 19:44:37 +00:00
|
|
|
{
|
2016-04-26 11:53:37 +00:00
|
|
|
const struct devmap_entry *pd;
|
2013-11-04 19:44:37 +00:00
|
|
|
|
|
|
|
if (devmap_table == NULL)
|
|
|
|
return (NULL);
|
|
|
|
|
|
|
|
for (pd = devmap_table; pd->pd_size != 0; ++pd) {
|
|
|
|
if (pa >= pd->pd_pa && pa + size <= pd->pd_pa + pd->pd_size)
|
|
|
|
return ((void *)(pd->pd_va + (pa - pd->pd_pa)));
|
|
|
|
}
|
|
|
|
|
|
|
|
return (NULL);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Look up the given virtual address in the static mapping data and return the
|
|
|
|
* corresponding physical address, or DEVMAP_PADDR_NOTFOUND if not found.
|
|
|
|
*/
|
|
|
|
vm_paddr_t
|
2016-04-26 11:53:37 +00:00
|
|
|
devmap_vtop(void * vpva, vm_size_t size)
|
2013-11-04 19:44:37 +00:00
|
|
|
{
|
2016-04-26 11:53:37 +00:00
|
|
|
const struct devmap_entry *pd;
|
2013-11-04 19:44:37 +00:00
|
|
|
vm_offset_t va;
|
|
|
|
|
|
|
|
if (devmap_table == NULL)
|
|
|
|
return (DEVMAP_PADDR_NOTFOUND);
|
|
|
|
|
|
|
|
va = (vm_offset_t)vpva;
|
|
|
|
for (pd = devmap_table; pd->pd_size != 0; ++pd) {
|
|
|
|
if (va >= pd->pd_va && va + size <= pd->pd_va + pd->pd_size)
|
|
|
|
return ((vm_paddr_t)(pd->pd_pa + (va - pd->pd_va)));
|
|
|
|
}
|
|
|
|
|
|
|
|
return (DEVMAP_PADDR_NOTFOUND);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Map a set of physical memory pages into the kernel virtual address space.
|
2014-01-04 21:38:41 +00:00
|
|
|
* Return a pointer to where it is mapped.
|
|
|
|
*
|
|
|
|
* This uses a pre-established static mapping if one exists for the requested
|
|
|
|
* range, otherwise it allocates kva space and maps the physical pages into it.
|
|
|
|
*
|
|
|
|
* This routine is intended to be used for mapping device memory, NOT real
|
2016-02-17 12:36:24 +00:00
|
|
|
* memory; the mapping type is inherently VM_MEMATTR_DEVICE in
|
|
|
|
* pmap_kenter_device().
|
2013-11-04 19:44:37 +00:00
|
|
|
*/
|
|
|
|
void *
|
|
|
|
pmap_mapdev(vm_offset_t pa, vm_size_t size)
|
|
|
|
{
|
2015-04-10 13:26:35 +00:00
|
|
|
vm_offset_t va, offset;
|
2014-01-04 21:38:41 +00:00
|
|
|
void * rva;
|
|
|
|
|
|
|
|
/* First look in the static mapping table. */
|
2016-04-26 11:53:37 +00:00
|
|
|
if ((rva = devmap_ptov(pa, size)) != NULL)
|
2014-01-04 21:38:41 +00:00
|
|
|
return (rva);
|
2015-04-13 13:21:27 +00:00
|
|
|
|
2013-11-04 19:44:37 +00:00
|
|
|
offset = pa & PAGE_MASK;
|
|
|
|
pa = trunc_page(pa);
|
|
|
|
size = round_page(size + offset);
|
2015-04-13 13:21:27 +00:00
|
|
|
|
2017-08-07 14:09:57 +00:00
|
|
|
#if defined(__aarch64__) || defined(__riscv)
|
2015-04-13 13:21:27 +00:00
|
|
|
if (early_boot) {
|
|
|
|
akva_devmap_vaddr = trunc_page(akva_devmap_vaddr - size);
|
|
|
|
va = akva_devmap_vaddr;
|
arm64: fix early devmap assertion
The purpose of this KASSERT is to ensure that we do not run out of space
in the early devmap. However, the devmap grew beyond its initial size of
2MB in r336519, and this assertion did not grow with it.
A devmap mapping of a 1080p framebuffer requires 1920x1080 bytes, or
1.977 MB, so it is just barely able to fit without triggering the
assertion, provided no other devices are mapped before it. With the
addition of `options GDB` in GENERIC by bbfa199cbc16, the uart is now
mapped for the purposes of a debug port, before mapping the framebuffer.
The presence of both these conditions pushes the selected virtual
address just below the threshold, triggering the assertion.
To fix this, use the correct size of the devmap, defined by
PMAP_MAPDEV_EARLY_SIZE. Since this code is shared with RISC-V, define
it for that platform as well (although it is a different size).
PR: 25241
Reported by: gbe
MFC after: 3 days
Sponsored by: The FreeBSD Foundation
2021-01-13 18:30:50 +00:00
|
|
|
KASSERT(va >= VM_MAX_KERNEL_ADDRESS - PMAP_MAPDEV_EARLY_SIZE,
|
2015-04-13 13:21:27 +00:00
|
|
|
("Too many early devmap mappings"));
|
|
|
|
} else
|
|
|
|
#endif
|
|
|
|
va = kva_alloc(size);
|
2013-11-04 19:44:37 +00:00
|
|
|
if (!va)
|
|
|
|
panic("pmap_mapdev: Couldn't alloc kernel virtual memory");
|
|
|
|
|
2015-04-10 13:26:35 +00:00
|
|
|
pmap_kenter_device(va, size, pa);
|
2015-04-13 13:21:27 +00:00
|
|
|
|
2013-11-04 19:44:37 +00:00
|
|
|
return ((void *)(va + offset));
|
|
|
|
}
|
|
|
|
|
2021-10-17 14:31:35 +00:00
|
|
|
#if defined(__aarch64__) || defined(__riscv)
|
2018-06-20 16:07:35 +00:00
|
|
|
void *
|
|
|
|
pmap_mapdev_attr(vm_offset_t pa, vm_size_t size, vm_memattr_t ma)
|
|
|
|
{
|
|
|
|
vm_offset_t va, offset;
|
|
|
|
void * rva;
|
|
|
|
|
|
|
|
/* First look in the static mapping table. */
|
|
|
|
if ((rva = devmap_ptov(pa, size)) != NULL)
|
|
|
|
return (rva);
|
|
|
|
|
|
|
|
offset = pa & PAGE_MASK;
|
|
|
|
pa = trunc_page(pa);
|
|
|
|
size = round_page(size + offset);
|
|
|
|
|
|
|
|
if (early_boot) {
|
|
|
|
akva_devmap_vaddr = trunc_page(akva_devmap_vaddr - size);
|
|
|
|
va = akva_devmap_vaddr;
|
2018-07-19 21:58:06 +00:00
|
|
|
KASSERT(va >= (VM_MAX_KERNEL_ADDRESS - (PMAP_MAPDEV_EARLY_SIZE)),
|
|
|
|
("Too many early devmap mappings 2"));
|
2018-06-20 16:07:35 +00:00
|
|
|
} else
|
|
|
|
va = kva_alloc(size);
|
|
|
|
if (!va)
|
|
|
|
panic("pmap_mapdev: Couldn't alloc kernel virtual memory");
|
|
|
|
|
|
|
|
pmap_kenter(va, size, pa, ma);
|
|
|
|
|
|
|
|
return ((void *)(va + offset));
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2013-11-04 19:44:37 +00:00
|
|
|
/*
|
|
|
|
* Unmap device memory and free the kva space.
|
|
|
|
*/
|
|
|
|
void
|
|
|
|
pmap_unmapdev(vm_offset_t va, vm_size_t size)
|
|
|
|
{
|
2015-04-10 13:26:35 +00:00
|
|
|
vm_offset_t offset;
|
2014-01-04 21:38:41 +00:00
|
|
|
|
|
|
|
/* Nothing to do if we find the mapping in the static table. */
|
2016-04-26 11:53:37 +00:00
|
|
|
if (devmap_vtop((void*)va, size) != DEVMAP_PADDR_NOTFOUND)
|
2014-01-04 21:38:41 +00:00
|
|
|
return;
|
|
|
|
|
2013-11-04 19:44:37 +00:00
|
|
|
offset = va & PAGE_MASK;
|
|
|
|
va = trunc_page(va);
|
|
|
|
size = round_page(size + offset);
|
|
|
|
|
2015-04-10 13:26:35 +00:00
|
|
|
pmap_kremove_device(va, size);
|
|
|
|
kva_free(va, size);
|
2013-11-04 19:44:37 +00:00
|
|
|
}
|
|
|
|
|
2014-01-09 18:51:57 +00:00
|
|
|
#ifdef DDB
|
|
|
|
#include <ddb/ddb.h>
|
|
|
|
|
|
|
|
DB_SHOW_COMMAND(devmap, db_show_devmap)
|
|
|
|
{
|
|
|
|
devmap_dump_table(db_printf);
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif /* DDB */
|