[efi] Add EFI image format and basic runtime environment
[people/sha0/gpxe.git] / src / interface / efi / efi_uaccess.c
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 #include <gpxe/uaccess.h>
20 #include <gpxe/efi/efi.h>
21
22 /** @file
23  *
24  * gPXE user access API for EFI
25  *
26  */
27
28 PROVIDE_UACCESS_INLINE ( efi, phys_to_user );
29 PROVIDE_UACCESS_INLINE ( efi, user_to_phys );
30 PROVIDE_UACCESS_INLINE ( efi, virt_to_user );
31 PROVIDE_UACCESS_INLINE ( efi, user_to_virt );
32 PROVIDE_UACCESS_INLINE ( efi, userptr_add );
33 PROVIDE_UACCESS_INLINE ( efi, memcpy_user );
34 PROVIDE_UACCESS_INLINE ( efi, memmove_user );
35 PROVIDE_UACCESS_INLINE ( efi, memset_user );
36 PROVIDE_UACCESS_INLINE ( efi, strlen_user );
37 PROVIDE_UACCESS_INLINE ( efi, memchr_user );