MFC r313982, r314068:sys: Replace zero with NULL for pointers.Found with: devel/coccinelle
Copy head@r302406 to stable/11 as part of the 11.0-RELEASE cycle.Prune svn:mergeinfo from the new branch, as nothing has been mergedhere.Additional commits post-branch will follow.Approved by: re (implicit)Sponsored by: The FreeBSD Foundation
Allow BERI virtio-platform code to operate with no PIO devices specified.We will use it with Bluespec simulator of CHERI processor for invalidatingcaches only.
o Switch to use non-mergeable RX buffers to avoid mbuf adjustment needso Operate with copy of iov as we expect later it was not modified
Do not configure Altera PIO device on ARM startup.PIO is a device implemented in soft-core and becomesavailable after flashing FPGA only.
Remove dev/virtio/virtio.h include from BERI VirtIOThis header file contains prototypes and defines that only makesense to the guest VirtIO device drivers.Reviewed by: br
Eliminate a "cast discards qualifiers" warning when building with gcc.
Add virtio bus 'poll' method allowing us to inform backend we aregoing to poll virtqueue.Use on BERI soft-core to invalidate cpu caches.Reviewed by: bryanvSponsored by: DARPA, AFRL
o Add BERI Virtio Networking Frontend (if_vtbe)o Move similar block/networking methods to common fileo Follow r275640 and correct MMIO registers widtho Pass value to MMIO platform_note method.Sponsored by: DARPA, AFRL
o Add PIO and vtblk mmio device info to the treeo Add FPGA memory window to static dev mappingso Fix whitespace
Add BERI-specific virtio block backend device driver.This part intended to operate on ARM side in heterogeneous(ARM/BERI) system on crystal.
Add BERI-specific virtio mmio "platform" device.This device provides a connector to Altera PIO allowing usto interrupt software-implemented virtio mmio backend.Sponsored by: DARPA, AFRL
Provide a character device allowing us to access BERI memory regions.Sponsored by: DARPA, AFRL
Add driver for BERI soft processor 'ring buffer' device.Ring device provides a way for communicate to BERIperipherals such as BERI debug unit and console.Sponsored by: DARPA, AFRL