| 1 | /* |
|---|
| 2 | * Copyright (C) 2008 Michael Brown <mbrown@fensystems.co.uk>. |
|---|
| 3 | * |
|---|
| 4 | * This program is free software; you can redistribute it and/or |
|---|
| 5 | * modify it under the terms of the GNU General Public License as |
|---|
| 6 | * published by the Free Software Foundation; either version 2 of the |
|---|
| 7 | * License, or any later version. |
|---|
| 8 | * |
|---|
| 9 | * This program is distributed in the hope that it will be useful, but |
|---|
| 10 | * WITHOUT ANY WARRANTY; without even the implied warranty of |
|---|
| 11 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
|---|
| 12 | * General Public License for more details. |
|---|
| 13 | * |
|---|
| 14 | * You should have received a copy of the GNU General Public License |
|---|
| 15 | * along with this program; if not, write to the Free Software |
|---|
| 16 | * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. |
|---|
| 17 | */ |
|---|
| 18 | |
|---|
| 19 | FILE_LICENCE ( GPL2_OR_LATER ); |
|---|
| 20 | |
|---|
| 21 | #include <gpxe/uaccess.h> |
|---|
| 22 | #include <gpxe/efi/efi.h> |
|---|
| 23 | |
|---|
| 24 | /** @file |
|---|
| 25 | * |
|---|
| 26 | * gPXE user access API for EFI |
|---|
| 27 | * |
|---|
| 28 | */ |
|---|
| 29 | |
|---|
| 30 | PROVIDE_UACCESS_INLINE ( efi, phys_to_user ); |
|---|
| 31 | PROVIDE_UACCESS_INLINE ( efi, user_to_phys ); |
|---|
| 32 | PROVIDE_UACCESS_INLINE ( efi, virt_to_user ); |
|---|
| 33 | PROVIDE_UACCESS_INLINE ( efi, user_to_virt ); |
|---|
| 34 | PROVIDE_UACCESS_INLINE ( efi, userptr_add ); |
|---|
| 35 | PROVIDE_UACCESS_INLINE ( efi, memcpy_user ); |
|---|
| 36 | PROVIDE_UACCESS_INLINE ( efi, memmove_user ); |
|---|
| 37 | PROVIDE_UACCESS_INLINE ( efi, memset_user ); |
|---|
| 38 | PROVIDE_UACCESS_INLINE ( efi, strlen_user ); |
|---|
| 39 | PROVIDE_UACCESS_INLINE ( efi, memchr_user ); |
|---|
