1 #ifndef _IPXE_EFI_UACCESS_H
2 #define _IPXE_EFI_UACCESS_H
6 * iPXE user access API for EFI
8 * EFI runs with flat physical addressing, so the various mappings
9 * between virtual addresses, I/O addresses and bus addresses are all
13 FILE_LICENCE ( GPL2_OR_LATER );
16 #define UACCESS_PREFIX_efi
18 #define UACCESS_PREFIX_efi __efi_
22 * Convert physical address to user pointer
24 * @v phys_addr Physical address
25 * @ret userptr User pointer
27 static inline __always_inline userptr_t
28 UACCESS_INLINE ( efi, phys_to_user ) ( unsigned long phys_addr ) {
33 * Convert user buffer to physical address
35 * @v userptr User pointer
36 * @v offset Offset from user pointer
37 * @ret phys_addr Physical address
39 static inline __always_inline unsigned long
40 UACCESS_INLINE ( efi, user_to_phys ) ( userptr_t userptr, off_t offset ) {
41 return ( userptr + offset );
44 static inline __always_inline userptr_t
45 UACCESS_INLINE ( efi, virt_to_user ) ( volatile const void *addr ) {
46 return trivial_virt_to_user ( addr );
49 static inline __always_inline void *
50 UACCESS_INLINE ( efi, user_to_virt ) ( userptr_t userptr, off_t offset ) {
51 return trivial_user_to_virt ( userptr, offset );
54 static inline __always_inline userptr_t
55 UACCESS_INLINE ( efi, userptr_add ) ( userptr_t userptr, off_t offset ) {
56 return trivial_userptr_add ( userptr, offset );
59 static inline __always_inline off_t
60 UACCESS_INLINE ( efi, userptr_sub ) ( userptr_t userptr,
61 userptr_t subtrahend ) {
62 return trivial_userptr_sub ( userptr, subtrahend );
65 static inline __always_inline void
66 UACCESS_INLINE ( efi, memcpy_user ) ( userptr_t dest, off_t dest_off,
67 userptr_t src, off_t src_off,
69 trivial_memcpy_user ( dest, dest_off, src, src_off, len );
72 static inline __always_inline void
73 UACCESS_INLINE ( efi, memmove_user ) ( userptr_t dest, off_t dest_off,
74 userptr_t src, off_t src_off,
76 trivial_memmove_user ( dest, dest_off, src, src_off, len );
79 static inline __always_inline int
80 UACCESS_INLINE ( efi, memcmp_user ) ( userptr_t first, off_t first_off,
81 userptr_t second, off_t second_off,
83 return trivial_memcmp_user ( first, first_off, second, second_off, len);
86 static inline __always_inline void
87 UACCESS_INLINE ( efi, memset_user ) ( userptr_t buffer, off_t offset,
89 trivial_memset_user ( buffer, offset, c, len );
92 static inline __always_inline size_t
93 UACCESS_INLINE ( efi, strlen_user ) ( userptr_t buffer, off_t offset ) {
94 return trivial_strlen_user ( buffer, offset );
97 static inline __always_inline off_t
98 UACCESS_INLINE ( efi, memchr_user ) ( userptr_t buffer, off_t offset,
100 return trivial_memchr_user ( buffer, offset, c, len );
103 #endif /* _IPXE_EFI_UACCESS_H */