]> git.ipfire.org Git - thirdparty/ipxe.git/commitdiff
[uaccess] Remove redundant copy_from_user() and copy_to_user()
authorMichael Brown <mcb30@ipxe.org>
Wed, 30 Apr 2025 14:18:34 +0000 (15:18 +0100)
committerMichael Brown <mcb30@ipxe.org>
Wed, 30 Apr 2025 14:32:03 +0000 (15:32 +0100)
Remove the now-redundant copy_from_user() and copy_to_user() wrapper
functions.

Signed-off-by: Michael Brown <mcb30@ipxe.org>
89 files changed:
src/arch/x86/core/runtime.c
src/arch/x86/drivers/xen/hvm.c
src/arch/x86/image/elfboot.c
src/arch/x86/image/initrd.c
src/arch/x86/image/multiboot.c
src/arch/x86/image/nbi.c
src/arch/x86/image/pxe_image.c
src/arch/x86/image/ucode.c
src/arch/x86/include/realmode.h
src/arch/x86/interface/pcbios/acpipwr.c
src/arch/x86/interface/pcbios/bios_cachedhcp.c
src/arch/x86/interface/pcbios/bios_reboot.c
src/arch/x86/interface/pcbios/biosint.c
src/arch/x86/interface/pcbios/hidemem.c
src/arch/x86/interface/pcbios/int13.c
src/arch/x86/interface/pcbios/memmap.c
src/arch/x86/interface/pcbios/memtop_umalloc.c
src/arch/x86/interface/pcbios/rsdp.c
src/core/blocktrans.c
src/core/cachedhcp.c
src/core/downloader.c
src/core/pixbuf.c
src/core/sanboot.c
src/drivers/bus/devtree.c
src/drivers/bus/ecam.c
src/drivers/bus/pci_settings.c
src/drivers/bus/usb_settings.c
src/drivers/infiniband/flexboot_nodnic.c
src/drivers/infiniband/linda.c
src/drivers/infiniband/mlx_utils_flexboot/src/mlx_memory_priv.c
src/drivers/infiniband/qib7322.c
src/drivers/linux/slirp.c
src/drivers/net/ath/ath.h
src/drivers/net/ath/ath5k/ath5k.h
src/drivers/net/b44.c
src/drivers/net/bnxt/bnxt.c
src/drivers/net/eepro100.c
src/drivers/net/etherfabric.c
src/drivers/net/marvell/atl2_hw.c
src/drivers/net/marvell/atl_hw.c
src/drivers/net/myri10ge.c
src/drivers/net/netvsc.c
src/drivers/net/rtl818x/rtl818x.c
src/drivers/net/sfc/efx_hunt.c
src/drivers/net/sfc/sfc_hunt.c
src/drivers/net/skge.c
src/drivers/net/sky2.c
src/drivers/net/tg3/tg3.c
src/drivers/net/tg3/tg3_hw.c
src/drivers/net/tg3/tg3_phy.c
src/drivers/net/vmxnet3.c
src/drivers/net/vxge/vxge_config.c
src/drivers/net/vxge/vxge_traffic.c
src/drivers/nvs/nvsvpd.c
src/drivers/usb/usbblk.c
src/hci/commands/cert_cmd.c
src/hci/commands/image_cmd.c
src/hci/commands/image_crypt_cmd.c
src/hci/commands/image_trust_cmd.c
src/hci/commands/pci_cmd.c
src/hci/commands/usb_cmd.c
src/image/der.c
src/image/efi_image.c
src/image/efi_siglist.c
src/image/elf.c
src/image/pnm.c
src/image/segment.c
src/include/ipxe/dummy_pio.h
src/include/ipxe/iomap_virt.h
src/include/ipxe/uaccess.h
src/interface/efi/efi_bofm.c
src/interface/efi/efi_cmdline.c
src/interface/efi/efi_pci.c
src/interface/xen/xenbus.c
src/net/eapol.c
src/net/fcoe.c
src/net/lldp.c
src/net/peerblk.c
src/net/peermux.c
src/net/tcp/httpblock.c
src/net/tcp/syslogs.c
src/net/udp/syslog.c
src/tests/asn1_test.c
src/tests/cpio_test.c
src/tests/pixbuf_test.c
src/tests/test.c
src/usr/imgarchive.c
src/usr/imgmgmt.c
src/usr/imgtrust.c

index 1fdf80497416fcc46b953ae0acb0b25f47c85059..461188d04857826602d306a099daf07eaede5323 100644 (file)
@@ -32,6 +32,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 #include <stddef.h>
 #include <stdint.h>
 #include <stdlib.h>
+#include <string.h>
 #include <ctype.h>
 #include <errno.h>
 #include <assert.h>
index b77cdd14c20d6f856cc281c2703ee164667cf60f..cf41cc95507beee4a338235ca8dbb9e3ae17aca9 100644 (file)
@@ -25,6 +25,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdint.h>
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <ipxe/malloc.h>
 #include <ipxe/pci.h>
index 63a3460d33f7d41d44fa47cbbaadd9d538811fea..f662e366f16c26a0e7760489a132c2f82f5bad30 100644 (file)
@@ -23,6 +23,7 @@
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
+#include <string.h>
 #include <errno.h>
 #include <elf.h>
 #include <ipxe/image.h>
index 8acdd95f75d33e2a8794e1f87c991f3ba10bdffc..cb4879036fb0a0bd5386d19ef5bc58db6dc874b1 100644 (file)
@@ -23,6 +23,7 @@
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
+#include <string.h>
 #include <errno.h>
 #include <initrd.h>
 #include <ipxe/image.h>
index 7c8963475229a3729d3ec162561bddb87ce52c93..9444c4047ee3bcd4a537552248aa3b7fa6f114c6 100644 (file)
@@ -31,6 +31,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  */
 
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <assert.h>
 #include <realmode.h>
index 0a60283fbd3fa6fb300cf192aae85945387f8ce5..0f57bdfcdf2c37faf0b6ed07e473fcf3da04b263 100644 (file)
@@ -1,3 +1,4 @@
+#include <string.h>
 #include <errno.h>
 #include <assert.h>
 #include <realmode.h>
index d7acd008448fe486800541832eb129ad75a8760b..3e6cf726809df155313848719d4b8d530bc67b51 100644 (file)
@@ -30,6 +30,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  *
  */
 
+#include <string.h>
 #include <pxe.h>
 #include <pxe_call.h>
 #include <pic8259.h>
index 0ae3863cbe54b3a0e9585ad4077de0a17d745511..fd4689e0092165ce035a5198b821261e1db28ae1 100644 (file)
@@ -31,6 +31,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdlib.h>
 #include <stdio.h>
+#include <string.h>
 #include <assert.h>
 #include <errno.h>
 #include <ipxe/uaccess.h>
index 75f7d16e7ae153c9275f8af35757ebb272ba60bc..5cf644a2386081a8fd34b9dea58a855b467d1920 100644 (file)
@@ -2,6 +2,7 @@
 #define REALMODE_H
 
 #include <stdint.h>
+#include <string.h>
 #include <registers.h>
 #include <ipxe/uaccess.h>
 
index bff53806b3bab501b6c1fdece12a8adb6b3b562f..cb82ef1b452edfa3877278bfbb2260463296a0cf 100644 (file)
@@ -23,6 +23,7 @@
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
+#include <string.h>
 #include <unistd.h>
 #include <errno.h>
 #include <byteswap.h>
index 05d89b3b7c3ae9bab1a87ac9a35ad1d698e56558..89785814310ed61e1d9631bc0f04e2832434ed9b 100644 (file)
@@ -24,6 +24,7 @@
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdint.h>
+#include <string.h>
 #include <ipxe/init.h>
 #include <ipxe/cachedhcp.h>
 #include <realmode.h>
index 46347024536c9a2cb9089333300a7ad781d79a48..c7f25405f9700a173074930a7665c301fc048a15 100644 (file)
@@ -29,6 +29,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  *
  */
 
+#include <string.h>
 #include <ipxe/reboot.h>
 #include <realmode.h>
 #include <bios.h>
index 667e9ed8135930badf11a998de22538f1fc74341..f5e54ede872f3630c59aa74f2138bca9c8ada13f 100644 (file)
@@ -1,3 +1,4 @@
+#include <string.h>
 #include <errno.h>
 #include <realmode.h>
 #include <biosint.h>
index 1a3022c5d7819c83e837847b131eae57d38c3ef1..6983c1f4aa3e2f0475b30d7023b4ef6a73946ded 100644 (file)
@@ -22,6 +22,7 @@
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
+#include <string.h>
 #include <assert.h>
 #include <realmode.h>
 #include <biosint.h>
index 73fdfebd388cd4bd4bc744b2349d8a3c6664846e..045d78e8db1528da3b37964c7f68392f87bc25b5 100644 (file)
@@ -25,6 +25,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdint.h>
 #include <stdlib.h>
+#include <string.h>
 #include <limits.h>
 #include <byteswap.h>
 #include <errno.h>
index daae382b8226659d28022141dbd4593cb1f58d71..3bc1229aa517ed2895554cfb283b96e58eeb262e 100644 (file)
@@ -24,6 +24,7 @@
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdint.h>
+#include <string.h>
 #include <errno.h>
 #include <realmode.h>
 #include <bios.h>
index d4489fb01014feb28e02588c110cbd0f1cefd569..bfaffc4bb7c5ae110c8a463556b39bc1a0588c18 100644 (file)
@@ -31,6 +31,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  */
 
 #include <limits.h>
+#include <string.h>
 #include <errno.h>
 #include <ipxe/uaccess.h>
 #include <ipxe/hidemem.h>
index 6bcf19b18ec28bc85a4b99d538e6b933a91b0a7d..6913be552dd344b42f44edf24ec9812f34131c4b 100644 (file)
@@ -31,6 +31,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  */
 
 #include <stdint.h>
+#include <string.h>
 #include <realmode.h>
 #include <bios.h>
 #include <ipxe/acpi.h>
index 3627217477315e12b0e87ff49b0fa1e18e88211a..b793185fe4bc0eaf0302fd671d57ff1fcdbeeebd 100644 (file)
@@ -31,6 +31,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  */
 
 #include <stdlib.h>
+#include <string.h>
 #include <errno.h>
 #include <assert.h>
 #include <ipxe/iobuf.h>
index 0d400db1641ad022d54035579540de51f6381c67..1510f3321efc2a7149e9b39734a16e3a0fdbd058 100644 (file)
@@ -25,6 +25,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdint.h>
 #include <stdlib.h>
+#include <string.h>
 #include <errno.h>
 #include <ipxe/dhcppkt.h>
 #include <ipxe/init.h>
index 449761836bf5595c05532d105e58ee0b978db147..9950fe5e4a3785af16e1baf6a7992aa16b893aa9 100644 (file)
@@ -24,6 +24,7 @@
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdlib.h>
+#include <string.h>
 #include <errno.h>
 #include <syslog.h>
 #include <ipxe/iobuf.h>
index d0b80b2a961ed97709c319563ca959b488a16c33..506a28c38c7b09088d05a5a2f12be6a95e52c00d 100644 (file)
@@ -30,6 +30,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  */
 
 #include <stdlib.h>
+#include <string.h>
 #include <errno.h>
 #include <ipxe/umalloc.h>
 #include <ipxe/image.h>
index bdac813ffec4edb3543351ded5dda32b3947860b..e90c5ef1d6419d704f198f4f25e12920f073844d 100644 (file)
@@ -32,6 +32,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdint.h>
 #include <stdlib.h>
+#include <string.h>
 #include <errno.h>
 #include <assert.h>
 #include <ipxe/xfer.h>
index cbd8ea8fa8c59163f6317890c98e762076f98c5f..654f8d14fffeed3ebcbd2177810b4eb5f5657b73 100644 (file)
@@ -31,6 +31,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdlib.h>
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <ipxe/device.h>
 #include <ipxe/fdt.h>
index 58d513e88b97e63dad9ece60be04fbe43dd72550..35556a8d9af257b725f07da7d4f01969d30b0d0f 100644 (file)
@@ -23,6 +23,7 @@
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
+#include <string.h>
 #include <errno.h>
 #include <ipxe/uaccess.h>
 #include <ipxe/ecam.h>
index 98005559d6c532708184079e57d4260385c99411..84aa7682734968dd8c7192898f2e16c3e35026a4 100644 (file)
@@ -24,6 +24,7 @@
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <ipxe/pci.h>
 #include <ipxe/settings.h>
index db6f94d8afb6b45dc6c4b2c88d7b46a9013129c6..4fd190d83862d67d426e9434004d69f56610f002 100644 (file)
@@ -24,6 +24,7 @@
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <ipxe/usb.h>
 #include <ipxe/settings.h>
index c6e19b95572af053624660fbcd28b4aeadfec919..a9e6fdd716ccaaf582824c37e315ea32ee1cb801 100644 (file)
@@ -20,6 +20,7 @@
 FILE_LICENCE ( GPL2_OR_LATER );
 
 #include <stdio.h>
+#include <string.h>
 #include <unistd.h>
 #include <errno.h>
 #include <ipxe/pci.h>
index 0c8a043a1d664d37b486941bd4d1d734fb9a3c93..2e2b469e475aa37766fa57cd9fc6c3349e8d1f48 100644 (file)
@@ -25,6 +25,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdint.h>
 #include <stdlib.h>
+#include <string.h>
 #include <errno.h>
 #include <unistd.h>
 #include <assert.h>
index e368d459b3ecb01063d6d51cd8eb148308fef191..b35c30dee2e4184e07180c5047ee3c46899a1215 100644 (file)
@@ -7,6 +7,7 @@
 
 #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"
index a011dafc15413858afc9ce9a809d0ca4154dccfd..a9e4566dc0f21e18fa93a974c2ef6f83b628ac38 100644 (file)
@@ -25,6 +25,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdint.h>
 #include <stdlib.h>
+#include <string.h>
 #include <errno.h>
 #include <unistd.h>
 #include <assert.h>
index 8341c967617fceeef77d67e3834a6d2924172704..d7ab6419e2bc1676af7c9480440d51606f7af701 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <ipxe/netdevice.h>
 #include <ipxe/ethernet.h>
index 589bb5634462729c4c9fc9461d392354818112e0..21f795b70a30796838b64e341f8bd9bfd9ad0eed 100644 (file)
@@ -23,6 +23,7 @@
 FILE_LICENCE ( BSD2 );
 
 #include <unistd.h>
+#include <string.h>
 #include <ipxe/net80211.h>
 
 /* This block of functions are from kernel.h v3.0.1 */
index fa62e8ce52d5d7153047ef0ee20554b57cbb78d9..727d41279c006faefdc6c865e9d9376000d479a4 100644 (file)
@@ -24,6 +24,7 @@
 FILE_LICENCE ( MIT );
 
 #include <stddef.h>
+#include <string.h>
 #include <byteswap.h>
 #include <ipxe/io.h>
 #include <ipxe/netdevice.h>
index 30ece5574daea799843a8d540e8d68d412287d52..c6ca9986566e85cc498928087901b1ea17463397 100644 (file)
@@ -31,6 +31,7 @@
 
 FILE_LICENCE ( GPL2_OR_LATER );
 
+#include <string.h>
 #include <errno.h>
 #include <assert.h>
 #include <stdio.h>
index 5de8d094e65c7efe3be101b8388b13b4cf554cac..402439eef7689420dbec268b30adb5c5649a31bd 100644 (file)
@@ -3,6 +3,7 @@ FILE_LICENCE ( GPL2_ONLY );
 
 #include <mii.h>
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <unistd.h>
 #include <byteswap.h>
index 49b00d443cc4e2cf94277e50c26017e171071bef..318db18830cf6fc4ae639437cbab7aa511e23655 100644 (file)
@@ -101,6 +101,7 @@ FILE_LICENCE ( GPL2_OR_LATER );
  */
 
 #include <stdint.h>
+#include <string.h>
 #include <byteswap.h>
 #include <errno.h>
 #include <stdio.h>
index be30b71f79fd7f4e8eacdbb936e5981325cbdfcc..a58b71568eb8dc36f90b4221fdc6c3140fe031f2 100644 (file)
@@ -21,6 +21,7 @@ FILE_LICENCE ( GPL_ANY );
 #include <stdint.h>
 #include <stdlib.h>
 #include <stdio.h>
+#include <string.h>
 #include <unistd.h>
 #include <errno.h>
 #include <assert.h>
index 8058207092c8308cc955dd4c52487d4ceb4e0812..07822a9c2479b52fde4774ff3d3903afc5c13b5e 100644 (file)
@@ -31,6 +31,7 @@
 
 FILE_LICENCE ( BSD2 );
 
+#include <string.h>
 #include <errno.h>
 #include <stdio.h>
 #include <unistd.h>
index e0843e6f451152300858c087faa22f484ed3acc4..fa7f2a9b8b68b045abdd623bb835c10d7a52aa17 100644 (file)
@@ -31,6 +31,7 @@
 
 FILE_LICENCE ( BSD2 );
 
+#include <string.h>
 #include <errno.h>
 #include <stdio.h>
 #include <unistd.h>
index 6d0f723f2da0017131d7171bc763cf951098260e..fb9dc01b291e58c58e8c6650ec71b755c34c0685 100644 (file)
@@ -74,7 +74,7 @@ FILE_LICENCE ( GPL2_ONLY );
  */
 
 #include <stdint.h>
-
+#include <string.h>
 #include <byteswap.h>
 #include <errno.h>
 #include <ipxe/ethernet.h>
index 4bdf7b51748e7e635a446aa52700a1d047c3e7a1..9b6ee88b47da2cdf365a929721c9038cbe9973af 100644 (file)
@@ -32,6 +32,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  * bus (VMBus).  It provides a transport layer for RNDIS packets.
  */
 
+#include <string.h>
 #include <errno.h>
 #include <unistd.h>
 #include <byteswap.h>
index 599d36fad53cd28bf9679eb88b44dcf91594fa35..3bae8a797ed7638ab584343d3ae4aeb46b97bc8b 100644 (file)
@@ -20,6 +20,7 @@
 FILE_LICENCE(GPL2_ONLY);
 
 #include <stdint.h>
+#include <string.h>
 #include <errno.h>
 #include <stdio.h>
 #include <unistd.h>
index abe3e832008a734d75ff2cff9fc82a3ce38cd993..92c0fda62d026f63acf76a3817bcdfcf648bf70b 100644 (file)
@@ -21,6 +21,7 @@
 #include <stdint.h>
 #include <stdlib.h>
 #include <stdio.h>
+#include <string.h>
 #include <unistd.h>
 #include <errno.h>
 #include <assert.h>
index 43ac229aba5ffea3d5b97d6a7be3eb3d738c01d9..f763fc9d0a0eb0dffb16edb9f9ca4ee219ae22ab 100644 (file)
@@ -19,6 +19,7 @@
  ***************************************************************************/
 #include <stdlib.h>
 #include <stdio.h>
+#include <string.h>
 #include <unistd.h>
 #include <errno.h>
 #include <byteswap.h>
index cc7f0b91bb3e9b640cd19d70003d9982d1270a4f..828a2a4c9439ee841860fd172be032b8399b6ed0 100755 (executable)
@@ -31,6 +31,7 @@
 FILE_LICENCE ( GPL2_ONLY );
 
 #include <stdint.h>
+#include <string.h>
 #include <errno.h>
 #include <stdio.h>
 #include <unistd.h>
index 4f8ec3e42c9453c2fe4129c10ba7f13372fdba27..db3f6aaa104bb739a3193aaf72c6e45a424384c0 100644 (file)
@@ -28,6 +28,7 @@
 FILE_LICENCE ( GPL2_ONLY );
 
 #include <stdint.h>
+#include <string.h>
 #include <errno.h>
 #include <stdio.h>
 #include <unistd.h>
index 05af22d617d866c7685c4fc65a6c16b2fcca2fe1..a6736305cc15963d75ee444421c1f86757f4c07e 100644 (file)
@@ -3,6 +3,7 @@ FILE_LICENCE ( GPL2_ONLY );
 
 #include <mii.h>
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <unistd.h>
 #include <byteswap.h>
index 9a70413b6a52a0779eb423705d4efd7e277d4810..5c9506dcea6c2f35f7964699e0f2336428d6cb08 100644 (file)
@@ -18,6 +18,7 @@
 FILE_LICENCE ( GPL2_ONLY );
 
 #include <mii.h>
+#include <string.h>
 #include <stdio.h>
 #include <errno.h>
 #include <unistd.h>
index e88b0be0fb87704bdb4c3c513c7ffa31a1c6e11c..a2322329e8193fd34ee30a9446462d468d440f88 100644 (file)
@@ -1,6 +1,7 @@
 
 #include <mii.h>
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <unistd.h>
 #include <byteswap.h>
index 3800d6b722b4a2e2eee026843d0ddf2d6fbfe537..2cc6738f2f6edbe6496cffb18615e1080595ad2b 100644 (file)
@@ -24,6 +24,7 @@
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdint.h>
+#include <string.h>
 #include <errno.h>
 #include <assert.h>
 #include <byteswap.h>
index f4d2170970e24ee0438a71b4f1b9eb0b293d511a..8c6ee9e9648618e27d62ec1d318cdc269f28c377 100644 (file)
@@ -16,6 +16,7 @@ FILE_LICENCE(GPL2_ONLY);
 
 #include <stdlib.h>
 #include <stdio.h>
+#include <string.h>
 #include <ipxe/malloc.h>
 #include <ipxe/pci.h>
 #include <ipxe/iobuf.h>
index dbd7990152316cbc33c301a835dd9cc772d209a0..0adaea2aa32e4199ea60462e7030935b01712448 100644 (file)
@@ -15,6 +15,7 @@
 FILE_LICENCE(GPL2_ONLY);
 
 #include <ipxe/netdevice.h>
+#include <string.h>
 #include <errno.h>
 
 #include "vxge_traffic.h"
index 3e88531c7de5e00ed4530d879239c804dcae796d..195973319f0d2938ee82a1c77cd81f8af6c4bacd 100644 (file)
@@ -24,6 +24,7 @@
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <ipxe/nvs.h>
 #include <ipxe/pci.h>
index 39adc012f3ef9c05ac58280aa7a69751880dde09..cb377efb085e89086e464e673df9c99140a4556d 100644 (file)
@@ -25,6 +25,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdint.h>
 #include <stdlib.h>
+#include <string.h>
 #include <errno.h>
 #include <ipxe/usb.h>
 #include <ipxe/scsi.h>
index 24b18bf5c4d26e09e51ead6e661d7419ced09e52..75d2ccbed16fd22131d753e1309c61aec8c68081 100644 (file)
@@ -24,6 +24,7 @@
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <getopt.h>
 #include <ipxe/x509.h>
index bf97b4deb95d2cd6b82d9d4d231b0250e98c7949..4b42695c4a8f30e028625bb89a811a2b327d134f 100644 (file)
@@ -26,6 +26,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 #include <stdint.h>
 #include <stdlib.h>
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <getopt.h>
 #include <ipxe/image.h>
index 26e9d79f847a0ac3774d6a4acfb43623db4a1958..4dfb5b1312bd7295df15b16f1e42872a238c41be 100644 (file)
@@ -25,6 +25,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdint.h>
 #include <stdio.h>
+#include <string.h>
 #include <getopt.h>
 #include <ipxe/image.h>
 #include <ipxe/command.h>
index b34378f93a8baa9bc24646184f980c4004b18dce..9b9e3f859fd4cf95d48f5f402f6bdd741a4a1c4d 100644 (file)
@@ -25,6 +25,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdint.h>
 #include <stdio.h>
+#include <string.h>
 #include <getopt.h>
 #include <ipxe/image.h>
 #include <ipxe/command.h>
index 5bae66fbeebe83087a2e86e0c5f538a20db88e47..fa1fa5ecec7f72b970874f10215a2311a1322a77 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <getopt.h>
 #include <ipxe/pci.h>
index d1086fd7e10fd76bda8ae9083e053b1c2915c024..4ee2f2ddb8e43e731586540ea08cc31a9e4dad21 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <getopt.h>
 #include <ipxe/usb.h>
index 600e163c9d0c085ec4df64ed4dcbc8331e98c9f4..67117d43b5372e19d85e062ee58a44a8febae2e6 100644 (file)
@@ -24,6 +24,7 @@
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdlib.h>
+#include <string.h>
 #include <errno.h>
 #include <assert.h>
 #include <ipxe/asn1.h>
index f71630f4a8cfa87bda66da4f917580a462bfbd37..f7ee7ff50492a22ed01141e24adeded42fc64100 100644 (file)
@@ -21,6 +21,7 @@ FILE_LICENCE ( GPL2_OR_LATER );
 
 #include <errno.h>
 #include <stdlib.h>
+#include <string.h>
 #include <wchar.h>
 #include <ipxe/efi/efi.h>
 #include <ipxe/efi/efi_snp.h>
index 2bd273dbdebeb93321550eaf5d58334963cbf9e9..b264ac5581f63cb4da2f12c8a6f1b8ab1f95762f 100644 (file)
@@ -30,6 +30,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  */
 
 #include <stdlib.h>
+#include <string.h>
 #include <errno.h>
 #include <ipxe/asn1.h>
 #include <ipxe/der.h>
index 83712c3b0d0eb3fe83b527cd4b4ddd409cef2e89..97e07f37f3004d940ce861a69c32ea0a5fa07930 100644 (file)
@@ -33,6 +33,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  * common ELF-related functionality.
  */
 
+#include <string.h>
 #include <errno.h>
 #include <elf.h>
 #include <ipxe/segment.h>
index 4b5020b642fed63cd11103d3e74ac189ae870c4d..489a43304065f8a7d9ffac622c955ee74e37129c 100644 (file)
@@ -30,6 +30,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  */
 
 #include <stdlib.h>
+#include <string.h>
 #include <errno.h>
 #include <ctype.h>
 #include <ipxe/image.h>
index 2cb637dc22609c5ca048f9abad0bcec9d53f3161..52272170a44938bb07d39d62bc96b21693f2166f 100644 (file)
@@ -30,6 +30,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  *
  */
 
+#include <string.h>
 #include <errno.h>
 #include <ipxe/uaccess.h>
 #include <ipxe/io.h>
index 1cdabba142d3d3ebbbd863e772a3729195fbc8d3..e7a4cabefa52da5ef39744d11838f406b6abb85c 100644 (file)
@@ -13,6 +13,8 @@
 
 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) { \
index 4962b7c377762665590c2daeb6502d781814e4b9..731d083d5cbae38e4275e71f31913d237635750e 100644 (file)
@@ -9,6 +9,8 @@
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
+#include <stddef.h>
+
 #ifdef IOMAP_VIRT
 #define IOMAP_PREFIX_virt
 #else
index 948ef1fa2de6184273a091e662a15cc25d397e20..82f29f7939b29e235bb73a27928b8e5f25e0f4f7 100644 (file)
@@ -11,7 +11,6 @@
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdint.h>
-#include <string.h>
 #include <ipxe/api.h>
 #include <config/ioapi.h>
 
@@ -127,30 +126,4 @@ virt_to_phys ( volatile const void *virt );
  */
 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 */
index 7d1d3619f5e8205d0018ca3d36641d68b25a98db..3d956800ecb6077c792d3696ba29b37650a3d736 100644 (file)
@@ -23,6 +23,7 @@
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
+#include <string.h>
 #include <errno.h>
 #include <ipxe/bofm.h>
 #include <ipxe/efi/efi.h>
index b33bebd8c67a5e7446fa3b42a8b4e568c99b88f3..13ad0fc35b107d5d16f24811ddc99f9c64d86b74 100644 (file)
@@ -31,6 +31,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdio.h>
 #include <stdlib.h>
+#include <string.h>
 #include <ctype.h>
 #include <errno.h>
 #include <ipxe/init.h>
index b8c7df38da7e0abff6ae0fccbedece17c142e1df..1b1f0581643a39f81ebea3197e6fbde9cfcccf32 100644 (file)
@@ -24,6 +24,7 @@
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdlib.h>
+#include <string.h>
 #include <errno.h>
 #include <ipxe/pci.h>
 #include <ipxe/acpi.h>
index 5dd01dfa31a8ee0cbe56943665997cbde1524de6..8b5ee0a0dfc4fe58277cc4978a3733b54e241cf8 100644 (file)
@@ -24,6 +24,7 @@
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <ipxe/malloc.h>
 #include <ipxe/device.h>
index 8b09ca231bb0fe530d7f01a702a5d830d3077946..0c573d19800e2f2d03ba6f7bbebca041e5209ff4 100644 (file)
@@ -23,6 +23,7 @@
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
+#include <string.h>
 #include <assert.h>
 #include <errno.h>
 #include <byteswap.h>
index 9f3ddf88bd7ccdc2695db08bf94354258ab69f4a..d54f1d43111cdfd2cbf0e20bb49d61367b66da75 100644 (file)
@@ -25,6 +25,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stddef.h>
 #include <stdlib.h>
+#include <string.h>
 #include <errno.h>
 #include <byteswap.h>
 #include <ipxe/if_ether.h>
index a854d0ace249c59c9f61a5d86fba3f2bfe6cff33..2b707c874b92f1b72f2be1ab2fdd7c0c0f10e77b 100644 (file)
@@ -30,6 +30,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  */
 
 #include <stdlib.h>
+#include <string.h>
 #include <errno.h>
 #include <byteswap.h>
 #include <ipxe/iobuf.h>
index bbd5f16ed798947247c8a3e695de660be454ce13..58b18510205e89e544c86df100727f0a9540d5f7 100644 (file)
@@ -25,6 +25,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdlib.h>
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <ipxe/http.h>
 #include <ipxe/iobuf.h>
index 431ca76e0855bcf7e9083d18a3fa55699f9b3b6e..5c814b03e93f5087e6010c21a88e40f6807e41c6 100644 (file)
@@ -25,6 +25,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdlib.h>
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <ipxe/uri.h>
 #include <ipxe/xferbuf.h>
index 156f11e4727a6498dd00d7f1e5f66343be2e8789..8eff1942c2b5623443bedf3ef664affca4d9b39e 100644 (file)
@@ -31,6 +31,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  */
 
 #include <stdint.h>
+#include <string.h>
 #include <ipxe/blocktrans.h>
 #include <ipxe/blockdev.h>
 #include <ipxe/acpi.h>
index f1f70d59e85ce8981b84e0882af3b838ff6c0d09..5676f3e3e8d5dbbb802184d468915cd2fedd40a5 100644 (file)
@@ -31,6 +31,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdint.h>
 #include <stdlib.h>
+#include <string.h>
 #include <byteswap.h>
 #include <ipxe/xfer.h>
 #include <ipxe/open.h>
index a45fc459dc76260ce2a5bd56f8e3459eab350737..198c86ef7bf63e95ce4b4bca08fbbe20a72d5124 100644 (file)
@@ -31,6 +31,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdint.h>
 #include <stdlib.h>
+#include <string.h>
 #include <ctype.h>
 #include <byteswap.h>
 #include <ipxe/xfer.h>
index df3f01b63211dbf5bd129dd1dd7997417368c8cb..b522b85d7b513fa69c42e11f4fdc6f25ca3c2a20 100644 (file)
@@ -33,6 +33,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 #undef NDEBUG
 
 #include <stdlib.h>
+#include <string.h>
 #include <assert.h>
 #include <ipxe/image.h>
 #include <ipxe/asn1.h>
index 7eb8b2c74ca95d6ece841367c8cb363f7f34e5a2..24baf947bac4a3782a04d46395e318f4862d6a5a 100644 (file)
@@ -33,6 +33,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 #undef NDEBUG
 
 #include <stdlib.h>
+#include <string.h>
 #include <ipxe/cpio.h>
 #include <ipxe/test.h>
 
index 1f82e001888a6cdf46dca61fd8a1b53c2d670903..a8ea1151eb0979bd148a1249755cbdd0cd57a104 100644 (file)
@@ -32,6 +32,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 /* Forcibly enable assertions */
 #undef NDEBUG
 
+#include <string.h>
 #include <assert.h>
 #include <ipxe/image.h>
 #include <ipxe/pixbuf.h>
index 4c49d4c16faa200e7dd95123bcc1986e5d123586..1ec4b21ef511e0e1a07ee7a2fb0ce5a46c0cb467 100644 (file)
@@ -34,6 +34,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stddef.h>
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <assert.h>
 #include <ipxe/test.h>
index 6849dd510917ba1405edfb12697178ec8a28a3b3..91600760e34e5bdc5a88d0354222807fbba23f12 100644 (file)
@@ -24,6 +24,7 @@
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdio.h>
+#include <string.h>
 #include <ipxe/image.h>
 #include <usr/imgarchive.h>
 
index 054137696653fb70246b6afc9e394e0ff808f404..65b52fd3aded3331acbefd121e9a186c3bb48d7c 100644 (file)
@@ -26,6 +26,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 #include <stdint.h>
 #include <stdlib.h>
 #include <stdio.h>
+#include <string.h>
 #include <errno.h>
 #include <ipxe/image.h>
 #include <ipxe/downloader.h>
index 7f7e7ed1402ff9b98d75ae8574a710cacd55e009..4eb631e7952a48ceb18e367c75761a38445d59c7 100644 (file)
@@ -24,6 +24,7 @@
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 #include <stdlib.h>
+#include <string.h>
 #include <errno.h>
 #include <time.h>
 #include <syslog.h>