#include <stddef.h>
#include <stdint.h>
#include <stdlib.h>
+#include <string.h>
#include <ctype.h>
#include <errno.h>
#include <assert.h>
#include <stdint.h>
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <ipxe/malloc.h>
#include <ipxe/pci.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+#include <string.h>
#include <errno.h>
#include <elf.h>
#include <ipxe/image.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+#include <string.h>
#include <errno.h>
#include <initrd.h>
#include <ipxe/image.h>
*/
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <assert.h>
#include <realmode.h>
+#include <string.h>
#include <errno.h>
#include <assert.h>
#include <realmode.h>
*
*/
+#include <string.h>
#include <pxe.h>
#include <pxe_call.h>
#include <pic8259.h>
#include <stdlib.h>
#include <stdio.h>
+#include <string.h>
#include <assert.h>
#include <errno.h>
#include <ipxe/uaccess.h>
#define REALMODE_H
#include <stdint.h>
+#include <string.h>
#include <registers.h>
#include <ipxe/uaccess.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+#include <string.h>
#include <unistd.h>
#include <errno.h>
#include <byteswap.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
#include <stdint.h>
+#include <string.h>
#include <ipxe/init.h>
#include <ipxe/cachedhcp.h>
#include <realmode.h>
*
*/
+#include <string.h>
#include <ipxe/reboot.h>
#include <realmode.h>
#include <bios.h>
+#include <string.h>
#include <errno.h>
#include <realmode.h>
#include <biosint.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+#include <string.h>
#include <assert.h>
#include <realmode.h>
#include <biosint.h>
#include <stdint.h>
#include <stdlib.h>
+#include <string.h>
#include <limits.h>
#include <byteswap.h>
#include <errno.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
#include <stdint.h>
+#include <string.h>
#include <errno.h>
#include <realmode.h>
#include <bios.h>
*/
#include <limits.h>
+#include <string.h>
#include <errno.h>
#include <ipxe/uaccess.h>
#include <ipxe/hidemem.h>
*/
#include <stdint.h>
+#include <string.h>
#include <realmode.h>
#include <bios.h>
#include <ipxe/acpi.h>
*/
#include <stdlib.h>
+#include <string.h>
#include <errno.h>
#include <assert.h>
#include <ipxe/iobuf.h>
#include <stdint.h>
#include <stdlib.h>
+#include <string.h>
#include <errno.h>
#include <ipxe/dhcppkt.h>
#include <ipxe/init.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
#include <stdlib.h>
+#include <string.h>
#include <errno.h>
#include <syslog.h>
#include <ipxe/iobuf.h>
*/
#include <stdlib.h>
+#include <string.h>
#include <errno.h>
#include <ipxe/umalloc.h>
#include <ipxe/image.h>
#include <stdint.h>
#include <stdlib.h>
+#include <string.h>
#include <errno.h>
#include <assert.h>
#include <ipxe/xfer.h>
#include <stdlib.h>
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <ipxe/device.h>
#include <ipxe/fdt.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+#include <string.h>
#include <errno.h>
#include <ipxe/uaccess.h>
#include <ipxe/ecam.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <ipxe/pci.h>
#include <ipxe/settings.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <ipxe/usb.h>
#include <ipxe/settings.h>
FILE_LICENCE ( GPL2_OR_LATER );
#include <stdio.h>
+#include <string.h>
#include <unistd.h>
#include <errno.h>
#include <ipxe/pci.h>
#include <stdint.h>
#include <stdlib.h>
+#include <string.h>
#include <errno.h>
#include <unistd.h>
#include <assert.h>
#include <ipxe/malloc.h>
#include <stddef.h>
+#include <string.h>
#include <byteswap.h>
#include <ipxe/io.h>
#include "../../mlx_utils/include/private/mlx_memory_priv.h"
#include <stdint.h>
#include <stdlib.h>
+#include <string.h>
#include <errno.h>
#include <unistd.h>
#include <assert.h>
*/
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <ipxe/netdevice.h>
#include <ipxe/ethernet.h>
FILE_LICENCE ( BSD2 );
#include <unistd.h>
+#include <string.h>
#include <ipxe/net80211.h>
/* This block of functions are from kernel.h v3.0.1 */
FILE_LICENCE ( MIT );
#include <stddef.h>
+#include <string.h>
#include <byteswap.h>
#include <ipxe/io.h>
#include <ipxe/netdevice.h>
FILE_LICENCE ( GPL2_OR_LATER );
+#include <string.h>
#include <errno.h>
#include <assert.h>
#include <stdio.h>
#include <mii.h>
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <unistd.h>
#include <byteswap.h>
*/
#include <stdint.h>
+#include <string.h>
#include <byteswap.h>
#include <errno.h>
#include <stdio.h>
#include <stdint.h>
#include <stdlib.h>
#include <stdio.h>
+#include <string.h>
#include <unistd.h>
#include <errno.h>
#include <assert.h>
FILE_LICENCE ( BSD2 );
+#include <string.h>
#include <errno.h>
#include <stdio.h>
#include <unistd.h>
FILE_LICENCE ( BSD2 );
+#include <string.h>
#include <errno.h>
#include <stdio.h>
#include <unistd.h>
*/
#include <stdint.h>
-
+#include <string.h>
#include <byteswap.h>
#include <errno.h>
#include <ipxe/ethernet.h>
* bus (VMBus). It provides a transport layer for RNDIS packets.
*/
+#include <string.h>
#include <errno.h>
#include <unistd.h>
#include <byteswap.h>
FILE_LICENCE(GPL2_ONLY);
#include <stdint.h>
+#include <string.h>
#include <errno.h>
#include <stdio.h>
#include <unistd.h>
#include <stdint.h>
#include <stdlib.h>
#include <stdio.h>
+#include <string.h>
#include <unistd.h>
#include <errno.h>
#include <assert.h>
***************************************************************************/
#include <stdlib.h>
#include <stdio.h>
+#include <string.h>
#include <unistd.h>
#include <errno.h>
#include <byteswap.h>
FILE_LICENCE ( GPL2_ONLY );
#include <stdint.h>
+#include <string.h>
#include <errno.h>
#include <stdio.h>
#include <unistd.h>
FILE_LICENCE ( GPL2_ONLY );
#include <stdint.h>
+#include <string.h>
#include <errno.h>
#include <stdio.h>
#include <unistd.h>
#include <mii.h>
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <unistd.h>
#include <byteswap.h>
FILE_LICENCE ( GPL2_ONLY );
#include <mii.h>
+#include <string.h>
#include <stdio.h>
#include <errno.h>
#include <unistd.h>
#include <mii.h>
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <unistd.h>
#include <byteswap.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
#include <stdint.h>
+#include <string.h>
#include <errno.h>
#include <assert.h>
#include <byteswap.h>
#include <stdlib.h>
#include <stdio.h>
+#include <string.h>
#include <ipxe/malloc.h>
#include <ipxe/pci.h>
#include <ipxe/iobuf.h>
FILE_LICENCE(GPL2_ONLY);
#include <ipxe/netdevice.h>
+#include <string.h>
#include <errno.h>
#include "vxge_traffic.h"
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <ipxe/nvs.h>
#include <ipxe/pci.h>
#include <stdint.h>
#include <stdlib.h>
+#include <string.h>
#include <errno.h>
#include <ipxe/usb.h>
#include <ipxe/scsi.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <getopt.h>
#include <ipxe/x509.h>
#include <stdint.h>
#include <stdlib.h>
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <getopt.h>
#include <ipxe/image.h>
#include <stdint.h>
#include <stdio.h>
+#include <string.h>
#include <getopt.h>
#include <ipxe/image.h>
#include <ipxe/command.h>
#include <stdint.h>
#include <stdio.h>
+#include <string.h>
#include <getopt.h>
#include <ipxe/image.h>
#include <ipxe/command.h>
*/
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <getopt.h>
#include <ipxe/pci.h>
*/
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <getopt.h>
#include <ipxe/usb.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
#include <stdlib.h>
+#include <string.h>
#include <errno.h>
#include <assert.h>
#include <ipxe/asn1.h>
#include <errno.h>
#include <stdlib.h>
+#include <string.h>
#include <wchar.h>
#include <ipxe/efi/efi.h>
#include <ipxe/efi/efi_snp.h>
*/
#include <stdlib.h>
+#include <string.h>
#include <errno.h>
#include <ipxe/asn1.h>
#include <ipxe/der.h>
* common ELF-related functionality.
*/
+#include <string.h>
#include <errno.h>
#include <elf.h>
#include <ipxe/segment.h>
*/
#include <stdlib.h>
+#include <string.h>
#include <errno.h>
#include <ctype.h>
#include <ipxe/image.h>
*
*/
+#include <string.h>
#include <errno.h>
#include <ipxe/uaccess.h>
#include <ipxe/io.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+#include <string.h>
+
#define DUMMY_INX( _prefix, _suffix, _type ) \
static inline __always_inline _type \
IOAPI_INLINE ( _prefix, in ## _suffix ) ( volatile _type *io_addr __unused) { \
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+#include <stddef.h>
+
#ifdef IOMAP_VIRT
#define IOMAP_PREFIX_virt
#else
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
#include <stdint.h>
-#include <string.h>
#include <ipxe/api.h>
#include <config/ioapi.h>
*/
void * __attribute__ (( const )) phys_to_virt ( physaddr_t phys );
-/**
- * Copy data to user buffer
- *
- * @v dest Destination
- * @v dest_off Destination offset
- * @v src Source
- * @v len Length
- */
-static inline __always_inline void
-copy_to_user ( userptr_t dest, off_t dest_off, const void *src, size_t len ) {
- memcpy ( ( dest + dest_off ), src, len );
-}
-
-/**
- * Copy data from user buffer
- *
- * @v dest Destination
- * @v src Source
- * @v src_off Source offset
- * @v len Length
- */
-static inline __always_inline void
-copy_from_user ( void *dest, userptr_t src, off_t src_off, size_t len ) {
- memcpy ( dest, ( src + src_off ), len );
-}
-
#endif /* _IPXE_UACCESS_H */
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+#include <string.h>
#include <errno.h>
#include <ipxe/bofm.h>
#include <ipxe/efi/efi.h>
#include <stdio.h>
#include <stdlib.h>
+#include <string.h>
#include <ctype.h>
#include <errno.h>
#include <ipxe/init.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
#include <stdlib.h>
+#include <string.h>
#include <errno.h>
#include <ipxe/pci.h>
#include <ipxe/acpi.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <ipxe/malloc.h>
#include <ipxe/device.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+#include <string.h>
#include <assert.h>
#include <errno.h>
#include <byteswap.h>
#include <stddef.h>
#include <stdlib.h>
+#include <string.h>
#include <errno.h>
#include <byteswap.h>
#include <ipxe/if_ether.h>
*/
#include <stdlib.h>
+#include <string.h>
#include <errno.h>
#include <byteswap.h>
#include <ipxe/iobuf.h>
#include <stdlib.h>
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <ipxe/http.h>
#include <ipxe/iobuf.h>
#include <stdlib.h>
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <ipxe/uri.h>
#include <ipxe/xferbuf.h>
*/
#include <stdint.h>
+#include <string.h>
#include <ipxe/blocktrans.h>
#include <ipxe/blockdev.h>
#include <ipxe/acpi.h>
#include <stdint.h>
#include <stdlib.h>
+#include <string.h>
#include <byteswap.h>
#include <ipxe/xfer.h>
#include <ipxe/open.h>
#include <stdint.h>
#include <stdlib.h>
+#include <string.h>
#include <ctype.h>
#include <byteswap.h>
#include <ipxe/xfer.h>
#undef NDEBUG
#include <stdlib.h>
+#include <string.h>
#include <assert.h>
#include <ipxe/image.h>
#include <ipxe/asn1.h>
#undef NDEBUG
#include <stdlib.h>
+#include <string.h>
#include <ipxe/cpio.h>
#include <ipxe/test.h>
/* Forcibly enable assertions */
#undef NDEBUG
+#include <string.h>
#include <assert.h>
#include <ipxe/image.h>
#include <ipxe/pixbuf.h>
#include <stddef.h>
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <assert.h>
#include <ipxe/test.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
#include <stdio.h>
+#include <string.h>
#include <ipxe/image.h>
#include <usr/imgarchive.h>
#include <stdint.h>
#include <stdlib.h>
#include <stdio.h>
+#include <string.h>
#include <errno.h>
#include <ipxe/image.h>
#include <ipxe/downloader.h>
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
#include <stdlib.h>
+#include <string.h>
#include <errno.h>
#include <time.h>
#include <syslog.h>