blob: 32ab9f67eb83dcd55890423dbeac078110f95e4b [file] [log] [blame]
Andrew Walbran8217d062022-11-22 16:56:18 +00001// Copyright 2022, The Android Open Source Project
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6//
7// http://www.apache.org/licenses/LICENSE-2.0
8//
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14
Andrew Walbran0a8dac72022-12-21 13:49:06 +000015//! Functions to scan the PCI bus for VirtIO device.
Andrew Walbran8217d062022-11-22 16:56:18 +000016
Andrew Walbrancf9333e2023-05-16 16:00:35 +000017use alloc::alloc::{alloc_zeroed, dealloc, handle_alloc_error, Layout};
Andrew Walbran336d0cb2023-01-06 16:33:15 +000018use core::{mem::size_of, ptr::NonNull};
Andrew Walbran8217d062022-11-22 16:56:18 +000019use log::{debug, info};
20use virtio_drivers::{
Alice Wang7c55c7d2023-07-05 14:51:40 +000021 device::console::VirtIOConsole,
Andrew Walbran336d0cb2023-01-06 16:33:15 +000022 transport::{
Alice Wang7c55c7d2023-07-05 14:51:40 +000023 pci::{bus::PciRoot, PciTransport},
Andrew Walbran336d0cb2023-01-06 16:33:15 +000024 DeviceType, Transport,
25 },
Andrew Walbran6ac174e2023-06-23 14:58:51 +000026 BufferDirection, Error, Hal, PhysAddr, PAGE_SIZE,
Andrew Walbran8217d062022-11-22 16:56:18 +000027};
Pierre-Clément Tosid2c54722024-11-02 12:54:40 +000028use vmbase::virtio::pci::{self, PciTransportIterator};
Andrew Walbran8217d062022-11-22 16:56:18 +000029
30/// The standard sector size of a VirtIO block device, in bytes.
Andrew Walbranb713baa2022-12-07 14:34:49 +000031const SECTOR_SIZE_BYTES: usize = 512;
32
33/// The size in sectors of the test block device we expect.
34const EXPECTED_SECTOR_COUNT: usize = 4;
Andrew Walbran8217d062022-11-22 16:56:18 +000035
Andrew Walbran730375d2022-12-21 14:04:34 +000036pub fn check_pci(pci_root: &mut PciRoot) {
Andrew Walbranb713baa2022-12-07 14:34:49 +000037 let mut checked_virtio_device_count = 0;
Andrew Walbran6ac174e2023-06-23 14:58:51 +000038 let mut block_device_count = 0;
Alice Wang16e7c3f2023-07-06 08:06:00 +000039 let mut socket_device_count = 0;
Alice Wang7c55c7d2023-07-05 14:51:40 +000040 for mut transport in PciTransportIterator::<HalImpl>::new(pci_root) {
41 info!(
42 "Detected virtio PCI device with device type {:?}, features {:#018x}",
43 transport.device_type(),
44 transport.read_device_features(),
45 );
46 match transport.device_type() {
47 DeviceType::Block => {
48 check_virtio_block_device(transport, block_device_count);
49 block_device_count += 1;
50 checked_virtio_device_count += 1;
Andrew Walbranb713baa2022-12-07 14:34:49 +000051 }
Alice Wang7c55c7d2023-07-05 14:51:40 +000052 DeviceType::Console => {
53 check_virtio_console_device(transport);
54 checked_virtio_device_count += 1;
55 }
Alice Wang16e7c3f2023-07-06 08:06:00 +000056 DeviceType::Socket => {
57 check_virtio_socket_device(transport);
58 socket_device_count += 1;
59 checked_virtio_device_count += 1;
60 }
Alice Wang7c55c7d2023-07-05 14:51:40 +000061 _ => {}
Andrew Walbran8217d062022-11-22 16:56:18 +000062 }
63 }
Andrew Walbranb713baa2022-12-07 14:34:49 +000064
Alice Wang16e7c3f2023-07-06 08:06:00 +000065 assert_eq!(checked_virtio_device_count, 6);
Andrew Walbran6ac174e2023-06-23 14:58:51 +000066 assert_eq!(block_device_count, 2);
Alice Wang16e7c3f2023-07-06 08:06:00 +000067 assert_eq!(socket_device_count, 1);
Andrew Walbran8217d062022-11-22 16:56:18 +000068}
69
Andrew Walbran6ac174e2023-06-23 14:58:51 +000070/// Checks the given VirtIO block device.
Alice Wang7c55c7d2023-07-05 14:51:40 +000071fn check_virtio_block_device(transport: PciTransport, index: usize) {
72 let mut blk = pci::VirtIOBlk::<HalImpl>::new(transport).expect("failed to create blk driver");
Andrew Walbran6ac174e2023-06-23 14:58:51 +000073 info!("Found {} KiB block device.", blk.capacity() * SECTOR_SIZE_BYTES as u64 / 1024);
74 match index {
75 0 => {
Andrew Walbran8d05dae2023-03-22 16:42:55 +000076 assert_eq!(blk.capacity(), EXPECTED_SECTOR_COUNT as u64);
77 let mut data = [0; SECTOR_SIZE_BYTES * EXPECTED_SECTOR_COUNT];
78 for i in 0..EXPECTED_SECTOR_COUNT {
Alice Wangb27ec8f2023-07-27 13:19:26 +000079 blk.read_blocks(i, &mut data[i * SECTOR_SIZE_BYTES..(i + 1) * SECTOR_SIZE_BYTES])
Andrew Walbran8d05dae2023-03-22 16:42:55 +000080 .expect("Failed to read block device.");
81 }
82 for (i, chunk) in data.chunks(size_of::<u32>()).enumerate() {
83 assert_eq!(chunk, &(i as u32).to_le_bytes());
84 }
85 info!("Read expected data from block device.");
Andrew Walbranb713baa2022-12-07 14:34:49 +000086 }
Andrew Walbran6ac174e2023-06-23 14:58:51 +000087 1 => {
88 assert_eq!(blk.capacity(), 0);
89 let mut data = [0; SECTOR_SIZE_BYTES];
Alice Wangb27ec8f2023-07-27 13:19:26 +000090 assert_eq!(blk.read_blocks(0, &mut data), Err(Error::IoError));
Andrew Walbranb713baa2022-12-07 14:34:49 +000091 }
Andrew Walbran6ac174e2023-06-23 14:58:51 +000092 _ => panic!("Unexpected VirtIO block device index {}.", index),
Andrew Walbran8217d062022-11-22 16:56:18 +000093 }
94}
95
Alice Wang16e7c3f2023-07-06 08:06:00 +000096/// Checks the given VirtIO socket device.
97fn check_virtio_socket_device(transport: PciTransport) {
98 let socket = pci::VirtIOSocket::<HalImpl>::new(transport)
99 .expect("Failed to create VirtIO socket driver");
100 info!("Found socket device: guest_cid={}", socket.guest_cid());
101}
102
Andrew Walbran6ac174e2023-06-23 14:58:51 +0000103/// Checks the given VirtIO console device.
Alice Wang7c55c7d2023-07-05 14:51:40 +0000104fn check_virtio_console_device(transport: PciTransport) {
105 let mut console = VirtIOConsole::<HalImpl, PciTransport>::new(transport)
Andrew Walbran6ac174e2023-06-23 14:58:51 +0000106 .expect("Failed to create VirtIO console driver");
107 info!("Found console device: {:?}", console.info());
108 for &c in b"Hello VirtIO console\n" {
109 console.send(c).expect("Failed to send character to VirtIO console device");
110 }
111 info!("Wrote to VirtIO console.");
112}
113
Andrew Walbran8217d062022-11-22 16:56:18 +0000114struct HalImpl;
115
Andrew Walbran47842802023-07-05 16:56:08 +0000116/// SAFETY: See the 'Implementation Safety' comments on methods below for how they fulfill the
117/// safety requirements of the unsafe `Hal` trait.
Alice Wang63e0d0d2023-04-20 14:15:32 +0000118unsafe impl Hal for HalImpl {
Andrew Walbran47842802023-07-05 16:56:08 +0000119 /// # Implementation Safety
120 ///
121 /// `dma_alloc` ensures the returned DMA buffer is not aliased with any other allocation or
122 /// reference in the program until it is deallocated by `dma_dealloc` by allocating a unique
123 /// block of memory using `alloc_zeroed`, which is guaranteed to allocate valid, unique and
124 /// zeroed memory. We request an alignment of at least `PAGE_SIZE` from `alloc_zeroed`.
Andrew Walbran272bd7a2023-01-24 14:02:36 +0000125 fn dma_alloc(pages: usize, _direction: BufferDirection) -> (PhysAddr, NonNull<u8>) {
Andrew Walbran8217d062022-11-22 16:56:18 +0000126 debug!("dma_alloc: pages={}", pages);
Andrew Walbran47842802023-07-05 16:56:08 +0000127 let layout =
128 Layout::from_size_align(pages.checked_mul(PAGE_SIZE).unwrap(), PAGE_SIZE).unwrap();
129 assert_ne!(layout.size(), 0);
130 // SAFETY: We just checked that the layout has a non-zero size.
Andrew Walbrancf9333e2023-05-16 16:00:35 +0000131 let vaddr = unsafe { alloc_zeroed(layout) };
Andrew Walbran272bd7a2023-01-24 14:02:36 +0000132 let vaddr =
133 if let Some(vaddr) = NonNull::new(vaddr) { vaddr } else { handle_alloc_error(layout) };
134 let paddr = virt_to_phys(vaddr);
135 (paddr, vaddr)
Andrew Walbran8217d062022-11-22 16:56:18 +0000136 }
137
Alice Wang63e0d0d2023-04-20 14:15:32 +0000138 unsafe fn dma_dealloc(paddr: PhysAddr, vaddr: NonNull<u8>, pages: usize) -> i32 {
Andrew Walbran8217d062022-11-22 16:56:18 +0000139 debug!("dma_dealloc: paddr={:#x}, pages={}", paddr, pages);
Andrew Walbran8217d062022-11-22 16:56:18 +0000140 let layout = Layout::from_size_align(pages * PAGE_SIZE, PAGE_SIZE).unwrap();
Andrew Walbran47842802023-07-05 16:56:08 +0000141 // SAFETY: The memory was allocated by `dma_alloc` above using the same allocator, and the
142 // layout is the same as was used then.
Andrew Walbran8217d062022-11-22 16:56:18 +0000143 unsafe {
Andrew Walbran272bd7a2023-01-24 14:02:36 +0000144 dealloc(vaddr.as_ptr(), layout);
Andrew Walbran8217d062022-11-22 16:56:18 +0000145 }
146 0
147 }
148
Andrew Walbran47842802023-07-05 16:56:08 +0000149 /// # Implementation Safety
150 ///
151 /// The returned pointer must be valid because the `paddr` describes a valid MMIO region, and we
152 /// previously mapped the entire PCI MMIO range. It can't alias any other allocations because
153 /// the PCI MMIO range doesn't overlap with any other memory ranges.
Alice Wang63e0d0d2023-04-20 14:15:32 +0000154 unsafe fn mmio_phys_to_virt(paddr: PhysAddr, _size: usize) -> NonNull<u8> {
Andrew Walbran272bd7a2023-01-24 14:02:36 +0000155 NonNull::new(paddr as _).unwrap()
Andrew Walbran8217d062022-11-22 16:56:18 +0000156 }
157
Alice Wang63e0d0d2023-04-20 14:15:32 +0000158 unsafe fn share(buffer: NonNull<[u8]>, _direction: BufferDirection) -> PhysAddr {
Andrew Walbran272bd7a2023-01-24 14:02:36 +0000159 let vaddr = buffer.cast();
Andrew Walbran336d0cb2023-01-06 16:33:15 +0000160 // Nothing to do, as the host already has access to all memory.
161 virt_to_phys(vaddr)
Andrew Walbran8217d062022-11-22 16:56:18 +0000162 }
Andrew Walbran336d0cb2023-01-06 16:33:15 +0000163
Alice Wang63e0d0d2023-04-20 14:15:32 +0000164 unsafe fn unshare(_paddr: PhysAddr, _buffer: NonNull<[u8]>, _direction: BufferDirection) {
Andrew Walbran336d0cb2023-01-06 16:33:15 +0000165 // Nothing to do, as the host already has access to all memory and we didn't copy the buffer
166 // anywhere else.
167 }
168}
169
Andrew Walbran272bd7a2023-01-24 14:02:36 +0000170fn virt_to_phys(vaddr: NonNull<u8>) -> PhysAddr {
171 vaddr.as_ptr() as _
Andrew Walbran8217d062022-11-22 16:56:18 +0000172}