There's no tainted data here, tag it as such to avoid the slew of

false positives. The files the boot loader reads are assumed to be
good.

CID: 1006663,1006665,1265013, 1265014 (possibly more)
Sponsored by: Netflix

stand/common/misc.c

@@ -138,6 +138,7 @@ kern_pread(int fd, vm_offset_t dest, size_t len, off_t off)
  * Read the specified part of a file to a malloced buffer.  The file
  * pointer is advanced to the end of the read data.
  */
+/* coverity[ -tainted_data_return ] */
 void *
 alloc_pread(int fd, off_t off, size_t len)
 {