* @brief 确认并清除设备中断 * @see virtio-v1.2#2.3 Notifications */

@name 构造/析构函数 @{ * @brief 构造函数 * @param rsdp RSDP 地址 */

* @brief 从空闲链表分配一个描述符 * * 从空闲描述符链表中取出一个描述符，供上层使用。 * 调用者必须填充描述符的 addr、len、flags 和 next 字段。 * * @return 成功返回描述符索引（range: 0 ~ queue_size-1

* @brief 从请求槽池中分配一个空闲槽（O(1) 位图算法） * * 使用 __builtin_ctzll 找到 slot_bitmap_ 中最低的 0 位。 * * @return 成功返回槽索引，失败返回错误 */

* @brief 计算单个 Virtqueue DMA 缓冲区所需的字节数（向后兼容） * * @param queue_size 队列大小（2 的幂，默认 128） * @return 所需的 DMA 内存字节数 */

* @brief 计算给定队列大小所需的 DMA 内存字节数 * * @param queue_size 队列大小（必须为 2 的幂） * @param event_idx 是否启用 VIRTIO_F_EVENT_IDX 特性 * @param used_align Used

@name 构造/析构函数 @{

* 检查 ELF class (32/64 bit) */

* 检查 elf 标识 * @return 成功返回 Expected<void>，失败返回错误 */

* 检查 ELF magic number */

* @brief 清除指定中断 * * 向 ICR 寄存器写入位掩码以清除对应的中断。 * * @param mask 要清除的中断位掩码 */

构造函数

* @brief 按 device_type 统计节点数量 * @param device_type 设备类型 * @return Expected<size_t> 节点数量 */

* c++ 全局对象析构 */

@name 构造/析构函数 @{

* @brief 工厂方法：创建并初始化 NS16550A 驱动 * @param dev_addr 设备 MMIO 基地址 * @return 成功返回已初始化的 Ns16550a 实例，失败返回错误 */

* @brief 创建并初始化块设备 * * 内部自动完成： * 1. Transport 初始化和验证 * 2. Virtqueue 创建 * 3. VirtIO 设备初始化序列（重置、特性协商、队列配置、设备激活） * * @param mmio_bas

* @brief 默认中断处理函数 * @param cause 中断号 * @param context 中断上下文 * @return 始终返回 0 */

* @brief 从就绪队列中移除指定任务 * @param task 要移除的任务 */

* @brief 从就绪队列中移除指定任务 * @param task 要移除的任务控制块指针 * * 用于任务主动退出或被阻塞等场景。 */

* @brief 从队列中移除任务 * @param task 要移除的任务 */

@name 构造/析构函数 @{ * @brief 构造函数 * * @param transport 传输层引用（必须在 DeviceInitializer 生命周期内保持有效） * @pre transport.IsValid() == true */

@name 构造 / 析构 @{

* @brief 异步入队请求的内部实现 * * 分配请求槽，填充请求头，构建 Scatter-Gather 描述符链，提交到 Available * Ring。 * * @param type 请求类型（kIn/kOut） * @param queue_inde

@name 构造 / 析构 @{

初始化 PL011 串口输出

ebreak 中断处理

* @brief 将任务加入就绪队列尾部 * @param task 要加入的任务 */

* @brief 将任务加入就绪队列尾部 * @param task 任务控制块指针 * * 重置任务的时间片并将其加入队列尾部，实现公平的时间片轮转。 */

* @brief 将 idle 任务加入队列 * @param task 要加入的任务（通常只有一个 idle 任务） */

* @brief 异步提交读请求（仅入队描述符，不触发硬件通知） * * 构建 virtio-blk 请求描述符链（header + data buffers + status）， * 提交到 Available Ring，但不通知设备。调用者需随后调用 Kick() 通知。

* @brief 异步提交写请求（仅入队描述符，不触发硬件通知） * * 构建 virtio-blk 请求描述符链（header + data buffers + status）， * 提交到 Available Ring，但不通知设备。调用者需随后调用 Kick() 通知。

外部中断分发器：CPU 外部中断 -> PLIC -> 设备 handler

@name 构造/析构函数 @{

@name 构造/析构函数 @{

* @brief 按 compatible 查找第一个匹配的节点 * @param compatible 要查找的 compatible 字符串 * @return Expected<int> 节点偏移量 */

* @brief 根据 compatible 查找已启用的节点（跳过 status="disabled"） * @param compatible 要查找的 compatible 字符串 * @return Expected<int> 节点偏移量 */

* @brief 按路径查找节点 * @param path 节点路径（如 "/memory"） * @return Expected<int> 节点偏移量 */

* @brief 根据描述符链头索引查找请求槽 * * @param desc_head 描述符链头索引 * @return 匹配的槽索引，未找到则返回 kMaxInflight */

强制将队列中所有日志条目输出至串口

* @brief 归还描述符到空闲链表 * * 将不再使用的描述符放回空闲链表，供后续分配使用。 * 对于描述符链，调用者必须按正确的顺序释放链中的每个描述符。 * * @param idx 要释放的描述符索引（必须为之前分配的有效索引） * * @warn

* @brief 释放请求槽 * * @param idx 槽索引 */

* @brief 获取第一个 VirtIO 块设备实例 * @return 设备实例指针，若不存在则返回 nullptr */