1/*-
2 * Copyright (c) 1998 Michael Smith <msmith@freebsd.org>
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * 1. Redistributions of source code must retain the above copyright

--- 12 unchanged lines hidden (view full) ---

21 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
24 * SUCH DAMAGE.
25 */
26
27#ifndef lint
28static const char rcsid[] =
29 "$FreeBSD: head/sys/boot/ia64/common/copy.c 83437 2001-09-14 08:26:00Z dfr $";
30#endif /* not lint */
31
32/*
33 * MD primitives supporting placement of module data
34 */
35#include <stand.h>
36
37#include <efi.h>
38#include <efilib.h>
39#include <machine/ia64_cpu.h>
40
41int
42efi_copyin(void *src, vm_offset_t dest, size_t len)
43{
44 EFI_PHYSICAL_ADDRESS p = IA64_RR_MASK(dest);
45#if 0
46 BS->AllocatePages(AllocateAddress, EfiRuntimeServicesData,
47 len >> 12, &p);

--- 22 unchanged lines hidden ---