{
  "date": "2026-11-03T20:44:31+08:00",
  "sha": "f36812787af1c3ef658210259c674f91e73c94c6",
  "mainline_sha": "deaac727188820077e4833cbcdbfff083148bffd",
  "modules": [
    {
      "group": "arch",
      "child": "loongarch/boot",
      "total": 157,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 157,
      "spec": 0,
      "proof": 0,
      "rust_mode": 236,
      "files": 3,
      "files_with_mainline": 3
    },
    {
      "group": "arch",
      "child": "loongarch/cpu",
      "total": 228,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 228,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 343,
      "files": 3,
      "files_with_mainline": 3
    },
    {
      "group": "arch",
      "child": "loongarch/device",
      "total": 8,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 8,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 31,
      "files": 2,
      "files_with_mainline": 2
    },
    {
      "group": "arch",
      "child": "loongarch/io",
      "total": 26,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 26,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 33,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "loongarch/iommu",
      "total": 19,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 19,
      "spec": 0,
      "proof": 0,
      "rust_mode": 26,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "loongarch/irq",
      "total": 32,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 32,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 50,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "loongarch/kernel",
      "total": 84,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 84,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 127,
      "files": 3,
      "files_with_mainline": 3
    },
    {
      "group": "arch",
      "child": "loongarch/mm",
      "total": 183,
      "verified_exec": 158,
      "trusted": 11,
      "unverified": 14,
      "unplanned": 0,
      "spec": 339,
      "proof": 254,
      "rust_mode": 215,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "loongarch/mod",
      "total": 26,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 26,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 5,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "loongarch/pci",
      "total": 107,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 107,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 147,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "loongarch/qemu",
      "total": 28,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 28,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 36,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "loongarch/serial",
      "total": 72,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 72,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 106,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "loongarch/task",
      "total": 62,
      "verified_exec": 48,
      "trusted": 0,
      "unverified": 14,
      "unplanned": 0,
      "spec": 29,
      "proof": 0,
      "rust_mode": 38,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "loongarch/timer",
      "total": 1,
      "verified_exec": 1,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 1,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "loongarch/trap",
      "total": 121,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 121,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 172,
      "files": 2,
      "files_with_mainline": 2
    },
    {
      "group": "arch",
      "child": "riscv/boot",
      "total": 87,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 87,
      "spec": 0,
      "proof": 0,
      "rust_mode": 129,
      "files": 2,
      "files_with_mainline": 2
    },
    {
      "group": "arch",
      "child": "riscv/cpu",
      "total": 242,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 242,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 628,
      "files": 4,
      "files_with_mainline": 4
    },
    {
      "group": "arch",
      "child": "riscv/device",
      "total": 8,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 8,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 31,
      "files": 2,
      "files_with_mainline": 2
    },
    {
      "group": "arch",
      "child": "riscv/iommu",
      "total": 19,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 19,
      "spec": 0,
      "proof": 0,
      "rust_mode": 26,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "riscv/irq",
      "total": 33,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 33,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 52,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "riscv/mm",
      "total": 127,
      "verified_exec": 114,
      "trusted": 5,
      "unverified": 8,
      "unplanned": 0,
      "spec": 167,
      "proof": 214,
      "rust_mode": 195,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "riscv/mod",
      "total": 29,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 29,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 5,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "riscv/pci",
      "total": 51,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 51,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 69,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "riscv/qemu",
      "total": 13,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 13,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 14,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "riscv/serial",
      "total": 4,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 4,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 5,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "riscv/task",
      "total": 66,
      "verified_exec": 64,
      "trusted": 0,
      "unverified": 2,
      "unplanned": 0,
      "spec": 29,
      "proof": 0,
      "rust_mode": 38,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "riscv/timer",
      "total": 62,
      "verified_exec": 2,
      "trusted": 0,
      "unverified": 60,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 4,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "riscv/trap",
      "total": 58,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 58,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 124,
      "files": 2,
      "files_with_mainline": 2
    },
    {
      "group": "arch",
      "child": "x86/boot",
      "total": 582,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 582,
      "spec": 0,
      "proof": 0,
      "rust_mode": 820,
      "files": 5,
      "files_with_mainline": 5
    },
    {
      "group": "arch",
      "child": "x86/cpu",
      "total": 519,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 519,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 873,
      "files": 4,
      "files_with_mainline": 4
    },
    {
      "group": "arch",
      "child": "x86/device",
      "total": 48,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 48,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 89,
      "files": 4,
      "files_with_mainline": 4
    },
    {
      "group": "arch",
      "child": "x86/ex_table",
      "total": 18,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 18,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 29,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "x86/io",
      "total": 32,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 32,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 45,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "x86/iommu",
      "total": 1072,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 1072,
      "spec": 0,
      "proof": 0,
      "rust_mode": 1684,
      "files": 16,
      "files_with_mainline": 16
    },
    {
      "group": "arch",
      "child": "x86/irq",
      "total": 56,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 56,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 11,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "x86/kernel",
      "total": 934,
      "verified_exec": 223,
      "trusted": 0,
      "unverified": 711,
      "unplanned": 0,
      "spec": 75,
      "proof": 52,
      "rust_mode": 1262,
      "files": 11,
      "files_with_mainline": 11
    },
    {
      "group": "arch",
      "child": "x86/mm",
      "total": 156,
      "verified_exec": 135,
      "trusted": 21,
      "unverified": 0,
      "unplanned": 0,
      "spec": 475,
      "proof": 379,
      "rust_mode": 162,
      "files": 2,
      "files_with_mainline": 2
    },
    {
      "group": "arch",
      "child": "x86/mod",
      "total": 108,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 108,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 6,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "x86/pci",
      "total": 26,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 26,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 40,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "x86/qemu",
      "total": 15,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 15,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 19,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "x86/serial",
      "total": 22,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 22,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 37,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "x86/task",
      "total": 54,
      "verified_exec": 44,
      "trusted": 0,
      "unverified": 10,
      "unplanned": 0,
      "spec": 29,
      "proof": 0,
      "rust_mode": 38,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "x86/tdx_guest",
      "total": 164,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 164,
      "spec": 0,
      "proof": 0,
      "rust_mode": 193,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "arch",
      "child": "x86/timer",
      "total": 262,
      "verified_exec": 1,
      "trusted": 0,
      "unverified": 261,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 363,
      "files": 4,
      "files_with_mainline": 4
    },
    {
      "group": "arch",
      "child": "x86/trap",
      "total": 246,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 246,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 411,
      "files": 4,
      "files_with_mainline": 4
    },
    {
      "group": "boot",
      "child": "memory_region",
      "total": 164,
      "verified_exec": 164,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 0,
      "spec": 210,
      "proof": 292,
      "rust_mode": 202,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "boot",
      "child": "mod",
      "total": 51,
      "verified_exec": 8,
      "trusted": 0,
      "unverified": 43,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 29,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "boot",
      "child": "smp",
      "total": 89,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 89,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 146,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "bus",
      "child": "mod",
      "total": 8,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 8,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 11,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "bus",
      "child": "pci",
      "total": 735,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 735,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 980,
      "files": 8,
      "files_with_mainline": 8
    },
    {
      "group": "console",
      "child": "console",
      "total": 18,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 18,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 43,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "coverage",
      "child": "coverage",
      "total": 7,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 7,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 11,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "cpu",
      "child": "local",
      "total": 347,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 347,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 663,
      "files": 5,
      "files_with_mainline": 5
    },
    {
      "group": "cpu",
      "child": "mod",
      "total": 51,
      "verified_exec": 25,
      "trusted": 0,
      "unverified": 26,
      "unplanned": 0,
      "spec": 51,
      "proof": 20,
      "rust_mode": 64,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "cpu",
      "child": "set",
      "total": 142,
      "verified_exec": 142,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 0,
      "spec": 213,
      "proof": 261,
      "rust_mode": 185,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "error",
      "child": "error",
      "total": 13,
      "verified_exec": 10,
      "trusted": 0,
      "unverified": 3,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 13,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "io",
      "child": "io_mem",
      "total": 184,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 184,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 341,
      "files": 2,
      "files_with_mainline": 2
    },
    {
      "group": "io",
      "child": "io_port",
      "total": 89,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 89,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 186,
      "files": 2,
      "files_with_mainline": 2
    },
    {
      "group": "io",
      "child": "mod",
      "total": 7,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 7,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 23,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "lib",
      "child": "lib",
      "total": 45,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 45,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 48,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "libs",
      "child": "align_ext",
      "total": 24,
      "verified_exec": 24,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 0,
      "spec": 4,
      "proof": 8,
      "rust_mode": 195,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "libs",
      "child": "id-alloc",
      "total": 103,
      "verified_exec": 101,
      "trusted": 0,
      "unverified": 2,
      "unplanned": 0,
      "spec": 97,
      "proof": 66,
      "rust_mode": 69,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "libs",
      "child": "linux-bzimage",
      "total": 1198,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 1198,
      "spec": 0,
      "proof": 0,
      "rust_mode": 1717,
      "files": 17,
      "files_with_mainline": 17
    },
    {
      "group": "libs",
      "child": "ostd-macros",
      "total": 196,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 196,
      "spec": 0,
      "proof": 0,
      "rust_mode": 239,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "libs",
      "child": "ostd-pod",
      "total": 148,
      "verified_exec": 6,
      "trusted": 19,
      "unverified": 123,
      "unplanned": 0,
      "spec": 7,
      "proof": 20,
      "rust_mode": 28,
      "files": 2,
      "files_with_mainline": 1
    },
    {
      "group": "libs",
      "child": "ostd-test",
      "total": 97,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 97,
      "spec": 0,
      "proof": 0,
      "rust_mode": 147,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "logger",
      "child": "logger",
      "total": 42,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 42,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 66,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "mm",
      "child": "dma",
      "total": 368,
      "verified_exec": 343,
      "trusted": 20,
      "unverified": 5,
      "unplanned": 0,
      "spec": 725,
      "proof": 302,
      "rust_mode": 317,
      "files": 3,
      "files_with_mainline": 3
    },
    {
      "group": "mm",
      "child": "frame",
      "total": 1037,
      "verified_exec": 771,
      "trusted": 60,
      "unverified": 206,
      "unplanned": 0,
      "spec": 1335,
      "proof": 1270,
      "rust_mode": 829,
      "files": 8,
      "files_with_mainline": 8
    },
    {
      "group": "mm",
      "child": "heap",
      "total": 211,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 211,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 353,
      "files": 4,
      "files_with_mainline": 4
    },
    {
      "group": "mm",
      "child": "io",
      "total": 318,
      "verified_exec": 310,
      "trusted": 8,
      "unverified": 0,
      "unplanned": 0,
      "spec": 565,
      "proof": 255,
      "rust_mode": 293,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "mm",
      "child": "kspace",
      "total": 204,
      "verified_exec": 100,
      "trusted": 58,
      "unverified": 46,
      "unplanned": 0,
      "spec": 393,
      "proof": 355,
      "rust_mode": 208,
      "files": 2,
      "files_with_mainline": 2
    },
    {
      "group": "mm",
      "child": "mod",
      "total": 16,
      "verified_exec": 13,
      "trusted": 3,
      "unverified": 0,
      "unplanned": 0,
      "spec": 19,
      "proof": 66,
      "rust_mode": 97,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "mm",
      "child": "page_prop",
      "total": 28,
      "verified_exec": 28,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 0,
      "spec": 17,
      "proof": 34,
      "rust_mode": 50,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "mm",
      "child": "page_table",
      "total": 1095,
      "verified_exec": 812,
      "trusted": 266,
      "unverified": 17,
      "unplanned": 0,
      "spec": 2298,
      "proof": 3132,
      "rust_mode": 555,
      "files": 7,
      "files_with_mainline": 7
    },
    {
      "group": "mm",
      "child": "tlb",
      "total": 169,
      "verified_exec": 38,
      "trusted": 89,
      "unverified": 42,
      "unplanned": 0,
      "spec": 33,
      "proof": 0,
      "rust_mode": 58,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "mm",
      "child": "vm_space",
      "total": 171,
      "verified_exec": 145,
      "trusted": 26,
      "unverified": 0,
      "unplanned": 0,
      "spec": 351,
      "proof": 587,
      "rust_mode": 129,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "panic",
      "child": "panic",
      "total": 71,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 71,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 111,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "smp",
      "child": "smp",
      "total": 53,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 53,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 82,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "sync",
      "child": "guard",
      "total": 24,
      "verified_exec": 22,
      "trusted": 0,
      "unverified": 2,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 63,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "sync",
      "child": "mod",
      "total": 3,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 3,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 18,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "sync",
      "child": "mutex",
      "total": 60,
      "verified_exec": 60,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 0,
      "spec": 67,
      "proof": 33,
      "rust_mode": 100,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "sync",
      "child": "rcu",
      "total": 385,
      "verified_exec": 335,
      "trusted": 1,
      "unverified": 49,
      "unplanned": 0,
      "spec": 292,
      "proof": 615,
      "rust_mode": 509,
      "files": 4,
      "files_with_mainline": 4
    },
    {
      "group": "sync",
      "child": "rwarc",
      "total": 48,
      "verified_exec": 40,
      "trusted": 0,
      "unverified": 8,
      "unplanned": 0,
      "spec": 15,
      "proof": 20,
      "rust_mode": 60,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "sync",
      "child": "rwlock",
      "total": 163,
      "verified_exec": 163,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 0,
      "spec": 286,
      "proof": 273,
      "rust_mode": 182,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "sync",
      "child": "rwmutex",
      "total": 144,
      "verified_exec": 144,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 0,
      "spec": 306,
      "proof": 321,
      "rust_mode": 185,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "sync",
      "child": "spin",
      "total": 84,
      "verified_exec": 84,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 0,
      "spec": 120,
      "proof": 77,
      "rust_mode": 109,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "sync",
      "child": "wait",
      "total": 135,
      "verified_exec": 126,
      "trusted": 9,
      "unverified": 0,
      "unplanned": 0,
      "spec": 48,
      "proof": 66,
      "rust_mode": 200,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "task",
      "child": "atomic_mode",
      "total": 19,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 19,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 33,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "task",
      "child": "kernel_stack",
      "total": 62,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 62,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 95,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "task",
      "child": "mod",
      "total": 161,
      "verified_exec": 4,
      "trusted": 0,
      "unverified": 157,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 21,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "task",
      "child": "preempt",
      "total": 54,
      "verified_exec": 7,
      "trusted": 4,
      "unverified": 43,
      "unplanned": 0,
      "spec": 28,
      "proof": 21,
      "rust_mode": 88,
      "files": 3,
      "files_with_mainline": 3
    },
    {
      "group": "task",
      "child": "processor",
      "total": 57,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 57,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 91,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "task",
      "child": "scheduler",
      "total": 283,
      "verified_exec": 32,
      "trusted": 0,
      "unverified": 251,
      "unplanned": 0,
      "spec": 138,
      "proof": 45,
      "rust_mode": 317,
      "files": 4,
      "files_with_mainline": 3
    },
    {
      "group": "task",
      "child": "utils",
      "total": 10,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 10,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 21,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "timer",
      "child": "jiffies",
      "total": 22,
      "verified_exec": 22,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 0,
      "spec": 25,
      "proof": 0,
      "rust_mode": 44,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "timer",
      "child": "mod",
      "total": 10,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 10,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 5,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "trap",
      "child": "handler",
      "total": 26,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 26,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 46,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "trap",
      "child": "irq",
      "total": 129,
      "verified_exec": 15,
      "trusted": 8,
      "unverified": 106,
      "unplanned": 0,
      "spec": 6,
      "proof": 0,
      "rust_mode": 79,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "user",
      "child": "user",
      "total": 35,
      "verified_exec": 0,
      "trusted": 0,
      "unverified": 35,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 59,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "util",
      "child": "either",
      "total": 23,
      "verified_exec": 23,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 0,
      "spec": 0,
      "proof": 0,
      "rust_mode": 13,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "util",
      "child": "ops",
      "total": 11,
      "verified_exec": 11,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 0,
      "spec": 52,
      "proof": 51,
      "rust_mode": 88,
      "files": 1,
      "files_with_mainline": 1
    },
    {
      "group": "util",
      "child": "range_alloc",
      "total": 122,
      "verified_exec": 122,
      "trusted": 0,
      "unverified": 0,
      "unplanned": 0,
      "spec": 215,
      "proof": 462,
      "rust_mode": 81,
      "files": 1,
      "files_with_mainline": 1
    }
  ],
  "totals": {
    "total": 15836,
    "verified_exec": 5040,
    "trusted": 608,
    "unverified": 6597,
    "unplanned": 3591,
    "spec": 9059,
    "proof": 9551,
    "rust_mode": 20002,
    "files": 221,
    "files_with_mainline": 218,
    "spec_all": 19328,
    "proof_all": 18414,
    "verified_apis": 279
  },
  "verified_apis_list": [
    {
      "doc_path": "ostd/boot/memory_region/struct.MemoryRegion.html#method.framebuffer",
      "name": "MemoryRegion::framebuffer",
      "group": "boot",
      "location": "ostd/src/boot/memory_region.rs:239:5"
    },
    {
      "doc_path": "ostd/boot/memory_region/struct.MemoryRegion.html#method.module",
      "name": "MemoryRegion::module",
      "group": "boot",
      "location": "ostd/src/boot/memory_region.rs:269:5"
    },
    {
      "doc_path": "ostd/cpu/fn.all_cpus.html",
      "name": "all_cpus",
      "group": "cpu",
      "location": "ostd/src/cpu/mod.rs:134:1"
    },
    {
      "doc_path": "ostd/cpu/struct.CpuId.html#method.bsp",
      "name": "CpuId::bsp",
      "group": "cpu",
      "location": "ostd/src/cpu/mod.rs:27:5"
    },
    {
      "doc_path": "ostd/cpu/struct.CpuId.html#method.try_from",
      "name": "CpuId::try_from",
      "group": "cpu",
      "location": "ostd/src/cpu/mod.rs:67:5"
    },
    {
      "doc_path": "ostd/cpu/set/struct.CpuSet.html#method.new_full",
      "name": "CpuSet::new_full",
      "group": "cpu",
      "location": "ostd/src/cpu/set.rs:133:5"
    },
    {
      "doc_path": "ostd/cpu/set/struct.CpuSet.html#method.new_empty",
      "name": "CpuSet::new_empty",
      "group": "cpu",
      "location": "ostd/src/cpu/set.rs:145:5"
    },
    {
      "doc_path": "ostd/cpu/set/struct.CpuSet.html#method.add",
      "name": "CpuSet::add",
      "group": "cpu",
      "location": "ostd/src/cpu/set.rs:168:5"
    },
    {
      "doc_path": "ostd/cpu/set/struct.CpuSet.html#method.remove",
      "name": "CpuSet::remove",
      "group": "cpu",
      "location": "ostd/src/cpu/set.rs:196:5"
    },
    {
      "doc_path": "ostd/cpu/set/struct.CpuSet.html#method.contains",
      "name": "CpuSet::contains",
      "group": "cpu",
      "location": "ostd/src/cpu/set.rs:220:5"
    },
    {
      "doc_path": "ostd/cpu/set/struct.CpuSet.html#method.count",
      "name": "CpuSet::count",
      "group": "cpu",
      "location": "ostd/src/cpu/set.rs:235:5"
    },
    {
      "doc_path": "ostd/cpu/set/struct.CpuSet.html#method.is_empty",
      "name": "CpuSet::is_empty",
      "group": "cpu",
      "location": "ostd/src/cpu/set.rs:278:5"
    },
    {
      "doc_path": "ostd/cpu/set/struct.CpuSet.html#method.is_full",
      "name": "CpuSet::is_full",
      "group": "cpu",
      "location": "ostd/src/cpu/set.rs:313:5"
    },
    {
      "doc_path": "ostd/cpu/set/struct.CpuSet.html#method.add_all",
      "name": "CpuSet::add_all",
      "group": "cpu",
      "location": "ostd/src/cpu/set.rs:371:5"
    },
    {
      "doc_path": "ostd/cpu/set/struct.CpuSet.html#method.clear",
      "name": "CpuSet::clear",
      "group": "cpu",
      "location": "ostd/src/cpu/set.rs:384:5"
    },
    {
      "doc_path": "ostd/cpu/set/struct.CpuSet.html#method.iter",
      "name": "CpuSet::iter",
      "group": "cpu",
      "location": "ostd/src/cpu/set.rs:408:5"
    },
    {
      "doc_path": "ostd/cpu/set/struct.AtomicCpuSet.html#method.new",
      "name": "AtomicCpuSet::new",
      "group": "cpu",
      "location": "ostd/src/cpu/set.rs:537:5"
    },
    {
      "doc_path": "ostd/cpu/set/struct.AtomicCpuSet.html#method.load",
      "name": "AtomicCpuSet::load",
      "group": "cpu",
      "location": "ostd/src/cpu/set.rs:558:5"
    },
    {
      "doc_path": "ostd/cpu/set/struct.AtomicCpuSet.html#method.store",
      "name": "AtomicCpuSet::store",
      "group": "cpu",
      "location": "ostd/src/cpu/set.rs:581:5"
    },
    {
      "doc_path": "ostd/cpu/set/struct.AtomicCpuSet.html#method.add",
      "name": "AtomicCpuSet::add",
      "group": "cpu",
      "location": "ostd/src/cpu/set.rs:593:5"
    },
    {
      "doc_path": "ostd/cpu/set/struct.AtomicCpuSet.html#method.remove",
      "name": "AtomicCpuSet::remove",
      "group": "cpu",
      "location": "ostd/src/cpu/set.rs:602:5"
    },
    {
      "doc_path": "ostd/cpu/set/struct.AtomicCpuSet.html#method.contains",
      "name": "AtomicCpuSet::contains",
      "group": "cpu",
      "location": "ostd/src/cpu/set.rs:618:5"
    },
    {
      "doc_path": "ostd/error/enum.Error.html#method.from",
      "name": "Error::from",
      "group": "src",
      "location": "ostd/src/error.rs:29:5"
    },
    {
      "doc_path": "ostd/mm/dma/dma_coherent/struct.DmaCoherent.html#method.map",
      "name": "DmaCoherent::map",
      "group": "mm",
      "location": "ostd/src/mm/dma/dma_coherent.rs:122:5"
    },
    {
      "doc_path": "ostd/mm/dma/dma_coherent/struct.DmaCoherent.html#method.daddr",
      "name": "DmaCoherent::daddr",
      "group": "mm",
      "location": "ostd/src/mm/dma/dma_coherent.rs:360:5"
    },
    {
      "doc_path": "ostd/mm/dma/dma_coherent/struct.DmaCoherent.html#method.paddr",
      "name": "DmaCoherent::paddr",
      "group": "mm",
      "location": "ostd/src/mm/dma/dma_coherent.rs:373:5"
    },
    {
      "doc_path": "ostd/mm/dma/dma_coherent/struct.DmaCoherent.html#method.nframes",
      "name": "DmaCoherent::nframes",
      "group": "mm",
      "location": "ostd/src/mm/dma/dma_coherent.rs:386:5"
    },
    {
      "doc_path": "ostd/mm/dma/dma_coherent/struct.DmaCoherent.html#method.nbytes",
      "name": "DmaCoherent::nbytes",
      "group": "mm",
      "location": "ostd/src/mm/dma/dma_coherent.rs:399:5"
    },
    {
      "doc_path": "ostd/mm/dma/dma_coherent/struct.DmaCoherent.html#method.reader",
      "name": "DmaCoherent::reader",
      "group": "mm",
      "location": "ostd/src/mm/dma/dma_coherent.rs:421:5"
    },
    {
      "doc_path": "ostd/mm/dma/dma_coherent/struct.DmaCoherent.html#method.writer",
      "name": "DmaCoherent::writer",
      "group": "mm",
      "location": "ostd/src/mm/dma/dma_coherent.rs:449:5"
    },
    {
      "doc_path": "ostd/mm/dma/dma_coherent/struct.DmaCoherent.html#method.clone",
      "name": "DmaCoherent::clone",
      "group": "mm",
      "location": "ostd/src/mm/dma/dma_coherent.rs:469:5"
    },
    {
      "doc_path": "ostd/mm/frame/allocator/struct.FrameAllocOptions.html#method.default",
      "name": "FrameAllocOptions::default",
      "group": "mm",
      "location": "ostd/src/mm/frame/allocator.rs:27:5"
    },
    {
      "doc_path": "ostd/mm/frame/allocator/struct.FrameAllocOptions.html#method.new",
      "name": "FrameAllocOptions::new",
      "group": "mm",
      "location": "ostd/src/mm/frame/allocator.rs:35:5"
    },
    {
      "doc_path": "ostd/mm/frame/allocator/struct.FrameAllocOptions.html#method.zeroed",
      "name": "FrameAllocOptions::zeroed",
      "group": "mm",
      "location": "ostd/src/mm/frame/allocator.rs:46:5"
    },
    {
      "doc_path": "ostd/mm/frame/frame_ref/struct.FrameRef.html#method.deref",
      "name": "FrameRef::deref",
      "group": "mm",
      "location": "ostd/src/mm/frame/frame_ref.rs:121:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.CursorMut.html#method.insert_before",
      "name": "CursorMut::insert_before",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:1191:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.CursorMut.html#method.as_list",
      "name": "CursorMut::as_list",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:1474:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.LinkedList.html#method.drop",
      "name": "LinkedList::drop",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:1488:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.Link.html#method.deref",
      "name": "Link::deref",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:1682:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.Link.html#method.deref_mut",
      "name": "Link::deref_mut",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:1688:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.Link.html#method.new",
      "name": "Link::new",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:1695:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.Link.html#method.on_drop",
      "name": "Link::on_drop",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:1712:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.Link.html#method.is_untyped",
      "name": "Link::is_untyped",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:1721:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.LinkedList.html#method.new",
      "name": "LinkedList::new",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:183:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.LinkedList.html#method.default",
      "name": "LinkedList::default",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:189:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.LinkedList.html#method.size",
      "name": "LinkedList::size",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:206:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.LinkedList.html#method.is_empty",
      "name": "LinkedList::is_empty",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:221:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.LinkedList.html#method.push_front",
      "name": "LinkedList::push_front",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:261:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.LinkedList.html#method.pop_front",
      "name": "LinkedList::pop_front",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:315:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.LinkedList.html#method.push_back",
      "name": "LinkedList::push_back",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:371:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.LinkedList.html#method.pop_back",
      "name": "LinkedList::pop_back",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:427:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.LinkedList.html#method.contains",
      "name": "LinkedList::contains",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:477:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.LinkedList.html#method.cursor_mut_at",
      "name": "LinkedList::cursor_mut_at",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:561:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.LinkedList.html#method.cursor_front_mut",
      "name": "LinkedList::cursor_front_mut",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:623:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.LinkedList.html#method.cursor_back_mut",
      "name": "LinkedList::cursor_back_mut",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:640:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.CursorMut.html#method.move_next",
      "name": "CursorMut::move_next",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:708:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.CursorMut.html#method.move_prev",
      "name": "CursorMut::move_prev",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:769:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.CursorMut.html#method.current_meta",
      "name": "CursorMut::current_meta",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:851:5"
    },
    {
      "doc_path": "ostd/mm/frame/linked_list/struct.CursorMut.html#method.take_current",
      "name": "CursorMut::take_current",
      "group": "mm",
      "location": "ostd/src/mm/frame/linked_list.rs:971:5"
    },
    {
      "doc_path": "ostd/mm/frame/meta/trait.AnyFrameMeta.html#method.on_drop",
      "name": "AnyFrameMeta::on_drop",
      "group": "mm",
      "location": "ostd/src/mm/frame/meta.rs:237:5"
    },
    {
      "doc_path": "ostd/mm/frame/meta/trait.AnyFrameMeta.html#method.is_untyped",
      "name": "AnyFrameMeta::is_untyped",
      "group": "mm",
      "location": "ostd/src/mm/frame/meta.rs:261:5"
    },
    {
      "doc_path": "ostd/mm/frame/struct.Frame.html#method.eq",
      "name": "Frame::eq",
      "group": "mm",
      "location": "ostd/src/mm/frame/mod.rs:160:5"
    },
    {
      "doc_path": "ostd/mm/frame/struct.Frame.html#method.from_unused",
      "name": "Frame::from_unused",
      "group": "mm",
      "location": "ostd/src/mm/frame/mod.rs:215:5"
    },
    {
      "doc_path": "ostd/mm/frame/struct.Frame.html#method.meta",
      "name": "Frame::meta",
      "group": "mm",
      "location": "ostd/src/mm/frame/mod.rs:274:5"
    },
    {
      "doc_path": "ostd/mm/frame/struct.Frame.html#method.from_in_use",
      "name": "Frame::from_in_use",
      "group": "mm",
      "location": "ostd/src/mm/frame/mod.rs:330:5"
    },
    {
      "doc_path": "ostd/mm/frame/struct.Frame.html#method.start_paddr",
      "name": "Frame::start_paddr",
      "group": "mm",
      "location": "ostd/src/mm/frame/mod.rs:375:5"
    },
    {
      "doc_path": "ostd/mm/frame/struct.Frame.html#method.map_level",
      "name": "Frame::map_level",
      "group": "mm",
      "location": "ostd/src/mm/frame/mod.rs:389:5"
    },
    {
      "doc_path": "ostd/mm/frame/struct.Frame.html#method.size",
      "name": "Frame::size",
      "group": "mm",
      "location": "ostd/src/mm/frame/mod.rs:397:5"
    },
    {
      "doc_path": "ostd/mm/frame/struct.Frame.html#method.reference_count",
      "name": "Frame::reference_count",
      "group": "mm",
      "location": "ostd/src/mm/frame/mod.rs:438:5"
    },
    {
      "doc_path": "ostd/mm/frame/struct.Frame.html#method.borrow",
      "name": "Frame::borrow",
      "group": "mm",
      "location": "ostd/src/mm/frame/mod.rs:460:5"
    },
    {
      "doc_path": "ostd/mm/frame/struct.Frame.html#method.slot",
      "name": "Frame::slot",
      "group": "mm",
      "location": "ostd/src/mm/frame/mod.rs:529:5"
    },
    {
      "doc_path": "ostd/mm/frame/struct.Frame.html#method.clone",
      "name": "Frame::clone",
      "group": "mm",
      "location": "ostd/src/mm/frame/mod.rs:608:5"
    },
    {
      "doc_path": "ostd/mm/frame/struct.Frame.html#method.drop",
      "name": "Frame::drop",
      "group": "mm",
      "location": "ostd/src/mm/frame/mod.rs:657:5"
    },
    {
      "doc_path": "ostd/mm/frame/untyped/type.UFrame.html#method.from",
      "name": "UFrame::from",
      "group": "mm",
      "location": "ostd/src/mm/frame/mod.rs:752:5"
    },
    {
      "doc_path": "ostd/mm/frame/segment/struct.Segment.html#method.clone",
      "name": "Segment::clone",
      "group": "mm",
      "location": "ostd/src/mm/frame/segment.rs:126:5"
    },
    {
      "doc_path": "ostd/mm/frame/segment/struct.Segment.html#method.from_unused",
      "name": "Segment::from_unused",
      "group": "mm",
      "location": "ostd/src/mm/frame/segment.rs:284:5"
    },
    {
      "doc_path": "ostd/mm/frame/segment/struct.Segment.html#method.split",
      "name": "Segment::split",
      "group": "mm",
      "location": "ostd/src/mm/frame/segment.rs:599:5"
    },
    {
      "doc_path": "ostd/mm/frame/segment/struct.Segment.html#method.slice",
      "name": "Segment::slice",
      "group": "mm",
      "location": "ostd/src/mm/frame/segment.rs:692:5"
    },
    {
      "doc_path": "ostd/mm/frame/segment/struct.Segment.html#method.from",
      "name": "Segment::from",
      "group": "mm",
      "location": "ostd/src/mm/frame/segment.rs:874:5"
    },
    {
      "doc_path": "ostd/mm/frame/segment/struct.Segment.html#method.next",
      "name": "Segment::next",
      "group": "mm",
      "location": "ostd/src/mm/frame/segment.rs:902:5"
    },
    {
      "doc_path": "ostd/mm/frame/segment/struct.Segment.html#method.drop",
      "name": "Segment::drop",
      "group": "mm",
      "location": "ostd/src/mm/frame/segment.rs:997:5"
    },
    {
      "doc_path": "ostd/mm/frame/unique/struct.UniqueFrame.html#method.repurpose",
      "name": "UniqueFrame::repurpose",
      "group": "mm",
      "location": "ostd/src/mm/frame/unique.rs:182:5"
    },
    {
      "doc_path": "ostd/mm/frame/unique/struct.UniqueFrame.html#method.meta",
      "name": "UniqueFrame::meta",
      "group": "mm",
      "location": "ostd/src/mm/frame/unique.rs:253:5"
    },
    {
      "doc_path": "ostd/mm/frame/unique/struct.UniqueFrame.html#method.meta_mut",
      "name": "UniqueFrame::meta_mut",
      "group": "mm",
      "location": "ostd/src/mm/frame/unique.rs:295:5"
    },
    {
      "doc_path": "ostd/mm/frame/unique/struct.UniqueFrame.html#method.size",
      "name": "UniqueFrame::size",
      "group": "mm",
      "location": "ostd/src/mm/frame/unique.rs:310:5"
    },
    {
      "doc_path": "ostd/mm/frame/unique/struct.UniqueFrame.html#method.level",
      "name": "UniqueFrame::level",
      "group": "mm",
      "location": "ostd/src/mm/frame/unique.rs:324:5"
    },
    {
      "doc_path": "ostd/mm/frame/unique/struct.UniqueFrame.html#method.start_paddr",
      "name": "UniqueFrame::start_paddr",
      "group": "mm",
      "location": "ostd/src/mm/frame/unique.rs:341:5"
    },
    {
      "doc_path": "ostd/mm/frame/unique/struct.UniqueFrame.html#method.reset_as_unused",
      "name": "UniqueFrame::reset_as_unused",
      "group": "mm",
      "location": "ostd/src/mm/frame/unique.rs:392:5"
    },
    {
      "doc_path": "ostd/mm/frame/unique/struct.UniqueFrame.html#method.slot",
      "name": "UniqueFrame::slot",
      "group": "mm",
      "location": "ostd/src/mm/frame/unique.rs:486:5"
    },
    {
      "doc_path": "ostd/mm/frame/struct.Frame.html#method.from_unique",
      "name": "super::Frame::from_unique",
      "group": "mm",
      "location": "ostd/src/mm/frame/unique.rs:563:5"
    },
    {
      "doc_path": "ostd/mm/frame/unique/struct.UniqueFrame.html#method.try_from_shared",
      "name": "UniqueFrame::try_from_shared",
      "group": "mm",
      "location": "ostd/src/mm/frame/unique.rs:611:5"
    },
    {
      "doc_path": "ostd/mm/frame/unique/struct.UniqueFrame.html#method.from_unused",
      "name": "UniqueFrame::from_unused",
      "group": "mm",
      "location": "ostd/src/mm/frame/unique.rs:93:5"
    },
    {
      "doc_path": "ostd/mm/frame/segment/struct.Segment.html#method.reader",
      "name": "Segment::reader",
      "group": "mm",
      "location": "ostd/src/mm/frame/untyped.rs:116:5"
    },
    {
      "doc_path": "ostd/mm/frame/segment/struct.Segment.html#method.writer",
      "name": "Segment::writer",
      "group": "mm",
      "location": "ostd/src/mm/frame/untyped.rs:159:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.from_user_space",
      "name": "VmReader::from_user_space",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1045:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.read_val",
      "name": "VmReader::read_val",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1073:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.collect",
      "name": "VmReader::collect",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1115:5"
    },
    {
      "doc_path": "ostd/mm/io/trait.VmIo.html#method.read_bytes",
      "name": "VmIo::read_bytes",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1300:5"
    },
    {
      "doc_path": "ostd/mm/io/trait.VmIo.html#method.read_val",
      "name": "VmIo::read_val",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1315:5"
    },
    {
      "doc_path": "ostd/mm/io/trait.VmIo.html#method.read_slice",
      "name": "VmIo::read_slice",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1327:5"
    },
    {
      "doc_path": "ostd/mm/io/trait.VmIo.html#method.write_bytes",
      "name": "VmIo::write_bytes",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1350:5"
    },
    {
      "doc_path": "ostd/mm/io/trait.VmIo.html#method.write_val",
      "name": "VmIo::write_val",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1366:5"
    },
    {
      "doc_path": "ostd/mm/io/trait.VmIo.html#method.write_slice",
      "name": "VmIo::write_slice",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1375:5"
    },
    {
      "doc_path": "ostd/mm/io/trait.VmIo.html#method.write_vals",
      "name": "VmIo::write_vals",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1412:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.cursor",
      "name": "VmReader::cursor",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1571:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.has_remain",
      "name": "VmReader::has_remain",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1580:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.limit",
      "name": "VmReader::limit",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1597:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.skip",
      "name": "VmReader::skip",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1622:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.skip_in_place",
      "name": "VmReader::skip_in_place",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1667:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmWriter.html#method.cursor",
      "name": "VmWriter::cursor",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1705:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmWriter.html#method.has_avail",
      "name": "VmWriter::has_avail",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1714:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmWriter.html#method.limit",
      "name": "VmWriter::limit",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1731:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmWriter.html#method.skip",
      "name": "VmWriter::skip",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1756:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmWriter.html#method.from_user_space",
      "name": "VmWriter::from_user_space",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1796:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmWriter.html#method.write_val",
      "name": "VmWriter::write_val",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1827:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmWriter.html#method.fill_zeros",
      "name": "VmWriter::fill_zeros",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1871:5"
    },
    {
      "doc_path": "src/ostd/mm/io.rs.html#1906-1914",
      "name": "[u8]::as_virt_ptr",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1906:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmWriter.html#method.from",
      "name": "VmWriter::from",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:1950:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.from",
      "name": "VmReader::from",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:2007:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.read_fallible",
      "name": "VmReader::read_fallible",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:2137:1"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.read_fallible",
      "name": "VmReader::read_fallible",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:2138:1"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.read_fallible",
      "name": "VmReader::read_fallible",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:2139:1"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmWriter.html#method.write_fallible",
      "name": "VmWriter::write_fallible",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:2140:1"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmWriter.html#method.write_fallible",
      "name": "VmWriter::write_fallible",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:2141:1"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmWriter.html#method.write_fallible",
      "name": "VmWriter::write_fallible",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:2142:1"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmWriter.html#method.from_kernel_space",
      "name": "VmWriter::from_kernel_space",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:259:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmWriter.html#method.to_fallible",
      "name": "VmWriter::to_fallible",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:286:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmWriter.html#method.write_val",
      "name": "VmWriter::write_val",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:331:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmWriter.html#method.fill",
      "name": "VmWriter::fill",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:390:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmWriter.html#method.write",
      "name": "VmWriter::write",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:546:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmWriter.html#method.write_once",
      "name": "VmWriter::write_once",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:598:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.clone",
      "name": "VmReader::clone",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:651:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.from_kernel_space",
      "name": "VmReader::from_kernel_space",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:700:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.to_fallible",
      "name": "VmReader::to_fallible",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:716:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.read",
      "name": "VmReader::read",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:792:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.read_val",
      "name": "VmReader::read_val",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:892:5"
    },
    {
      "doc_path": "ostd/mm/io/struct.VmReader.html#method.read_once",
      "name": "VmReader::read_once",
      "group": "mm",
      "location": "ostd/src/mm/io.rs:973:5"
    },
    {
      "doc_path": "ostd/mm/fn.is_page_aligned.html",
      "name": "is_page_aligned",
      "group": "mm",
      "location": "ostd/src/mm/mod.rs:317:1"
    },
    {
      "doc_path": "ostd/mm/page_prop/struct.PageFlags.html#method.bitand",
      "name": "PageFlags::bitand",
      "group": "mm",
      "location": "ostd/src/mm/page_prop.rs:106:1"
    },
    {
      "doc_path": "ostd/mm/page_prop/struct.PageFlags.html#method.bitor",
      "name": "PageFlags::bitor",
      "group": "mm",
      "location": "ostd/src/mm/page_prop.rs:106:1"
    },
    {
      "doc_path": "ostd/mm/page_prop/struct.PageFlags.html#method.bitxor",
      "name": "PageFlags::bitxor",
      "group": "mm",
      "location": "ostd/src/mm/page_prop.rs:106:1"
    },
    {
      "doc_path": "ostd/mm/page_prop/struct.PageFlags.html#method.clear",
      "name": "PageFlags::clear",
      "group": "mm",
      "location": "ostd/src/mm/page_prop.rs:106:1"
    },
    {
      "doc_path": "ostd/mm/page_prop/struct.PageFlags.html#method.eq",
      "name": "PageFlags::eq",
      "group": "mm",
      "location": "ostd/src/mm/page_prop.rs:106:1"
    },
    {
      "doc_path": "ostd/mm/page_prop/struct.PageFlags.html#method.fmt",
      "name": "PageFlags::fmt",
      "group": "mm",
      "location": "ostd/src/mm/page_prop.rs:106:1"
    },
    {
      "doc_path": "ostd/mm/page_prop/struct.PageFlags.html#method.from_name",
      "name": "PageFlags::from_name",
      "group": "mm",
      "location": "ostd/src/mm/page_prop.rs:106:1"
    },
    {
      "doc_path": "ostd/mm/page_prop/struct.PageFlags.html#method.insert",
      "name": "PageFlags::insert",
      "group": "mm",
      "location": "ostd/src/mm/page_prop.rs:106:1"
    },
    {
      "doc_path": "ostd/mm/page_prop/struct.PageFlags.html#method.not",
      "name": "PageFlags::not",
      "group": "mm",
      "location": "ostd/src/mm/page_prop.rs:106:1"
    },
    {
      "doc_path": "ostd/mm/page_prop/struct.PageFlags.html#method.remove",
      "name": "PageFlags::remove",
      "group": "mm",
      "location": "ostd/src/mm/page_prop.rs:106:1"
    },
    {
      "doc_path": "ostd/mm/page_prop/struct.PageFlags.html#method.set",
      "name": "PageFlags::set",
      "group": "mm",
      "location": "ostd/src/mm/page_prop.rs:106:1"
    },
    {
      "doc_path": "ostd/mm/page_prop/struct.PageFlags.html#method.sub",
      "name": "PageFlags::sub",
      "group": "mm",
      "location": "ostd/src/mm/page_prop.rs:106:1"
    },
    {
      "doc_path": "ostd/mm/page_prop/struct.PageFlags.html#method.toggle",
      "name": "PageFlags::toggle",
      "group": "mm",
      "location": "ostd/src/mm/page_prop.rs:106:1"
    },
    {
      "doc_path": "ostd/mm/page_prop/struct.PageFlags.html#method.truncate",
      "name": "PageFlags::truncate",
      "group": "mm",
      "location": "ostd/src/mm/page_prop.rs:106:1"
    },
    {
      "doc_path": "ostd/mm/page_table/struct.PageTable.html#method.cursor_mut",
      "name": "PageTable::cursor_mut",
      "group": "mm",
      "location": "ostd/src/mm/page_table/mod.rs:1263:5"
    },
    {
      "doc_path": "ostd/mm/page_table/struct.PageTable.html#method.cursor",
      "name": "PageTable::cursor",
      "group": "mm",
      "location": "ostd/src/mm/page_table/mod.rs:1335:5"
    },
    {
      "doc_path": "ostd/mm/page_table/node/child/enum.Child.html#method.from_pte",
      "name": "Child::from_pte",
      "group": "mm",
      "location": "ostd/src/mm/page_table/node/child.rs:128:5"
    },
    {
      "doc_path": "ostd/mm/page_table/node/child/enum.ChildRef.html#method.from_pte",
      "name": "ChildRef::from_pte",
      "group": "mm",
      "location": "ostd/src/mm/page_table/node/child.rs:197:5"
    },
    {
      "doc_path": "ostd/mm/page_table/node/child/enum.Child.html#method.into_pte",
      "name": "Child::into_pte",
      "group": "mm",
      "location": "ostd/src/mm/page_table/node/child.rs:75:5"
    },
    {
      "doc_path": "ostd/mm/page_table/node/entry/struct.PageTableGuard.html#method.deref",
      "name": "PageTableGuard::deref",
      "group": "mm",
      "location": "ostd/src/mm/page_table/node/entry.rs:48:5"
    },
    {
      "doc_path": "ostd/mm/page_table/node/entry/struct.Entry.html#method.new",
      "name": "Entry::new",
      "group": "mm",
      "location": "ostd/src/mm/page_table/node/entry.rs:96:5"
    },
    {
      "doc_path": "ostd/mm/page_table/node/struct.PageTablePageMeta.html#method.is_untyped",
      "name": "PageTablePageMeta::is_untyped",
      "group": "mm",
      "location": "ostd/src/mm/page_table/node/mod.rs:187:5"
    },
    {
      "doc_path": "ostd/mm/frame/frame_ref/struct.FrameRef.html#method.make_guard_unchecked",
      "name": "FrameRef::make_guard_unchecked",
      "group": "mm",
      "location": "ostd/src/mm/page_table/node/mod.rs:400:5"
    },
    {
      "doc_path": "ostd/mm/page_table/node/entry/struct.PageTableGuard.html#method.entry",
      "name": "PageTableGuard::entry",
      "group": "mm",
      "location": "ostd/src/mm/page_table/node/mod.rs:444:5"
    },
    {
      "doc_path": "ostd/mm/page_table/node/entry/struct.PageTableGuard.html#method.nr_children",
      "name": "PageTableGuard::nr_children",
      "group": "mm",
      "location": "ostd/src/mm/page_table/node/mod.rs:473:5"
    },
    {
      "doc_path": "ostd/mm/page_table/node/entry/struct.PageTableGuard.html#method.read_pte",
      "name": "PageTableGuard::read_pte",
      "group": "mm",
      "location": "ostd/src/mm/page_table/node/mod.rs:530:5"
    },
    {
      "doc_path": "ostd/mm/page_table/node/entry/struct.PageTableGuard.html#method.write_pte",
      "name": "PageTableGuard::write_pte",
      "group": "mm",
      "location": "ostd/src/mm/page_table/node/mod.rs:579:5"
    },
    {
      "doc_path": "ostd/mm/page_table/node/struct.PageTablePageMeta.html#method.new",
      "name": "PageTablePageMeta::new",
      "group": "mm",
      "location": "ostd/src/mm/page_table/node/mod.rs:632:5"
    },
    {
      "doc_path": "ostd/mm/tlb/struct.TlbFlusher.html#method.new",
      "name": "TlbFlusher::new",
      "group": "mm",
      "location": "ostd/src/mm/tlb.rs:48:5"
    },
    {
      "doc_path": "ostd/mm/vm_space/struct.CursorMut.html#method.protect_next",
      "name": "CursorMut::protect_next",
      "group": "mm",
      "location": "ostd/src/mm/vm_space.rs:1545:5"
    },
    {
      "doc_path": "ostd/mm/vm_space/struct.MappedItem.html#method.clone",
      "name": "MappedItem::clone",
      "group": "mm",
      "location": "ostd/src/mm/vm_space.rs:1600:5"
    },
    {
      "doc_path": "ostd/mm/vm_space/struct.VmSpace.html#method.cursor",
      "name": "VmSpace::cursor",
      "group": "mm",
      "location": "ostd/src/mm/vm_space.rs:240:5"
    },
    {
      "doc_path": "ostd/mm/vm_space/struct.VmSpace.html#method.cursor_mut",
      "name": "VmSpace::cursor_mut",
      "group": "mm",
      "location": "ostd/src/mm/vm_space.rs:301:5"
    },
    {
      "doc_path": "ostd/mm/vm_space/struct.Cursor.html#method.query",
      "name": "Cursor::query",
      "group": "mm",
      "location": "ostd/src/mm/vm_space.rs:519:5"
    },
    {
      "doc_path": "ostd/mm/vm_space/struct.Cursor.html#method.find_next",
      "name": "Cursor::find_next",
      "group": "mm",
      "location": "ostd/src/mm/vm_space.rs:568:5"
    },
    {
      "doc_path": "ostd/mm/vm_space/struct.Cursor.html#method.jump",
      "name": "Cursor::jump",
      "group": "mm",
      "location": "ostd/src/mm/vm_space.rs:618:5"
    },
    {
      "doc_path": "ostd/mm/vm_space/struct.Cursor.html#method.virt_addr",
      "name": "Cursor::virt_addr",
      "group": "mm",
      "location": "ostd/src/mm/vm_space.rs:629:5"
    },
    {
      "doc_path": "ostd/mm/vm_space/struct.CursorMut.html#method.query",
      "name": "CursorMut::query",
      "group": "mm",
      "location": "ostd/src/mm/vm_space.rs:694:5"
    },
    {
      "doc_path": "ostd/mm/vm_space/struct.CursorMut.html#method.find_next",
      "name": "CursorMut::find_next",
      "group": "mm",
      "location": "ostd/src/mm/vm_space.rs:738:5"
    },
    {
      "doc_path": "ostd/mm/vm_space/struct.CursorMut.html#method.jump",
      "name": "CursorMut::jump",
      "group": "mm",
      "location": "ostd/src/mm/vm_space.rs:790:5"
    },
    {
      "doc_path": "ostd/mm/vm_space/struct.CursorMut.html#method.virt_addr",
      "name": "CursorMut::virt_addr",
      "group": "mm",
      "location": "ostd/src/mm/vm_space.rs:801:5"
    },
    {
      "doc_path": "ostd/mm/vm_space/struct.CursorMut.html#method.flusher",
      "name": "CursorMut::flusher",
      "group": "mm",
      "location": "ostd/src/mm/vm_space.rs:811:5"
    },
    {
      "doc_path": "ostd/mm/vm_space/struct.CursorMut.html#method.map",
      "name": "CursorMut::map",
      "group": "mm",
      "location": "ostd/src/mm/vm_space.rs:860:5"
    },
    {
      "doc_path": "ostd/mm/vm_space/struct.CursorMut.html#method.unmap",
      "name": "CursorMut::unmap",
      "group": "mm",
      "location": "ostd/src/mm/vm_space.rs:948:5"
    },
    {
      "doc_path": "ostd/sync/guard/enum.PreemptDisabled.html#method.guard",
      "name": "PreemptDisabled::guard",
      "group": "sync",
      "location": "ostd/src/sync/guard.rs:55:5"
    },
    {
      "doc_path": "ostd/sync/guard/enum.PreemptDisabled.html#method.read_guard",
      "name": "PreemptDisabled::read_guard",
      "group": "sync",
      "location": "ostd/src/sync/guard.rs:58:5"
    },
    {
      "doc_path": "ostd/sync/guard/enum.LocalIrqDisabled.html#method.guard",
      "name": "LocalIrqDisabled::guard",
      "group": "sync",
      "location": "ostd/src/sync/guard.rs:82:5"
    },
    {
      "doc_path": "ostd/sync/guard/enum.LocalIrqDisabled.html#method.read_guard",
      "name": "LocalIrqDisabled::read_guard",
      "group": "sync",
      "location": "ostd/src/sync/guard.rs:86:5"
    },
    {
      "doc_path": "ostd/sync/mutex/struct.MutexGuard.html#method.deref",
      "name": "MutexGuard::deref",
      "group": "sync",
      "location": "ostd/src/sync/mutex.rs:246:5"
    },
    {
      "doc_path": "ostd/sync/mutex/struct.MutexGuard.html#method.deref_mut",
      "name": "MutexGuard::deref_mut",
      "group": "sync",
      "location": "ostd/src/sync/mutex.rs:262:5"
    },
    {
      "doc_path": "ostd/sync/mutex/struct.MutexGuard.html#method.drop",
      "name": "MutexGuard::drop",
      "group": "sync",
      "location": "ostd/src/sync/mutex.rs:283:5"
    },
    {
      "doc_path": "ostd/sync/mutex/struct.MutexGuard.html#method.get_lock",
      "name": "MutexGuard::get_lock",
      "group": "sync",
      "location": "ostd/src/sync/mutex.rs:312:5"
    },
    {
      "doc_path": "ostd/sync/mutex/struct.Mutex.html#method.new",
      "name": "Mutex::new",
      "group": "sync",
      "location": "ostd/src/sync/mutex.rs:53:5"
    },
    {
      "doc_path": "ostd/sync/mutex/struct.Mutex.html#method.lock",
      "name": "Mutex::lock",
      "group": "sync",
      "location": "ostd/src/sync/mutex.rs:73:5"
    },
    {
      "doc_path": "ostd/sync/mutex/struct.Mutex.html#method.try_lock",
      "name": "Mutex::try_lock",
      "group": "sync",
      "location": "ostd/src/sync/mutex.rs:82:5"
    },
    {
      "doc_path": "ostd/util/either/enum.Either.html#method.from_raw",
      "name": "crate::util::Either::from_raw",
      "group": "sync",
      "location": "ostd/src/sync/rcu/non_null/either.rs:149:5"
    },
    {
      "doc_path": "ostd/util/either/enum.Either.html#method.raw_as_ref",
      "name": "crate::util::Either::raw_as_ref",
      "group": "sync",
      "location": "ostd/src/sync/rcu/non_null/either.rs:276:5"
    },
    {
      "doc_path": "ostd/util/either/enum.Either.html#method.ref_as_raw",
      "name": "crate::util::Either::ref_as_raw",
      "group": "sync",
      "location": "ostd/src/sync/rcu/non_null/either.rs:330:5"
    },
    {
      "doc_path": "ostd/util/either/enum.Either.html#method.into_raw",
      "name": "crate::util::Either::into_raw",
      "group": "sync",
      "location": "ostd/src/sync/rcu/non_null/either.rs:37:5"
    },
    {
      "doc_path": "ostd/sync/rcu/non_null/struct.BoxRef.html#method.deref_target",
      "name": "BoxRef::deref_target",
      "group": "sync",
      "location": "ostd/src/sync/rcu/non_null/mod.rs:221:5"
    },
    {
      "doc_path": "src/ostd/sync/rcu/non_null/mod.rs.html#252-270",
      "name": "alloc::boxed::Box::into_raw",
      "group": "sync",
      "location": "ostd/src/sync/rcu/non_null/mod.rs:252:5"
    },
    {
      "doc_path": "src/ostd/sync/rcu/non_null/mod.rs.html#273-289",
      "name": "alloc::boxed::Box::from_raw",
      "group": "sync",
      "location": "ostd/src/sync/rcu/non_null/mod.rs:273:5"
    },
    {
      "doc_path": "src/ostd/sync/rcu/non_null/mod.rs.html#329-334",
      "name": "alloc::boxed::Box::raw_as_ref",
      "group": "sync",
      "location": "ostd/src/sync/rcu/non_null/mod.rs:329:5"
    },
    {
      "doc_path": "src/ostd/sync/rcu/non_null/mod.rs.html#336-343",
      "name": "alloc::boxed::Box::ref_as_raw",
      "group": "sync",
      "location": "ostd/src/sync/rcu/non_null/mod.rs:336:5"
    },
    {
      "doc_path": "ostd/sync/rcu/non_null/struct.ArcRef.html#method.deref",
      "name": "ArcRef::deref",
      "group": "sync",
      "location": "ostd/src/sync/rcu/non_null/mod.rs:382:5"
    },
    {
      "doc_path": "src/ostd/sync/rcu/non_null/mod.rs.html#418-429",
      "name": "alloc::sync::Arc::into_raw",
      "group": "sync",
      "location": "ostd/src/sync/rcu/non_null/mod.rs:418:5"
    },
    {
      "doc_path": "src/ostd/sync/rcu/non_null/mod.rs.html#431-443",
      "name": "alloc::sync::Arc::from_raw",
      "group": "sync",
      "location": "ostd/src/sync/rcu/non_null/mod.rs:431:5"
    },
    {
      "doc_path": "src/ostd/sync/rcu/non_null/mod.rs.html#482-495",
      "name": "alloc::sync::Arc::raw_as_ref",
      "group": "sync",
      "location": "ostd/src/sync/rcu/non_null/mod.rs:482:5"
    },
    {
      "doc_path": "src/ostd/sync/rcu/non_null/mod.rs.html#497-499",
      "name": "alloc::sync::Arc::ref_as_raw",
      "group": "sync",
      "location": "ostd/src/sync/rcu/non_null/mod.rs:497:5"
    },
    {
      "doc_path": "ostd/sync/rwarc/struct.RwArc.html#method.clone_ro",
      "name": "RwArc::clone_ro",
      "group": "sync",
      "location": "ostd/src/sync/rwarc.rs:111:5"
    },
    {
      "doc_path": "ostd/sync/rwarc/struct.RwArc.html#method.clone",
      "name": "RwArc::clone",
      "group": "sync",
      "location": "ostd/src/sync/rwarc.rs:119:5"
    },
    {
      "doc_path": "ostd/sync/rwarc/struct.RwArc.html#method.drop",
      "name": "RwArc::drop",
      "group": "sync",
      "location": "ostd/src/sync/rwarc.rs:158:5"
    },
    {
      "doc_path": "ostd/sync/rwarc/struct.RwArc.html#method.get_cloned",
      "name": "RwArc::get_cloned",
      "group": "sync",
      "location": "ostd/src/sync/rwarc.rs:174:5"
    },
    {
      "doc_path": "ostd/sync/rwarc/struct.RoArc.html#method.read",
      "name": "RoArc::read",
      "group": "sync",
      "location": "ostd/src/sync/rwarc.rs:182:5"
    },
    {
      "doc_path": "ostd/sync/rwarc/struct.RwArc.html#method.new",
      "name": "RwArc::new",
      "group": "sync",
      "location": "ostd/src/sync/rwarc.rs:59:5"
    },
    {
      "doc_path": "ostd/sync/rwarc/struct.RwArc.html#method.read",
      "name": "RwArc::read",
      "group": "sync",
      "location": "ostd/src/sync/rwarc.rs:70:5"
    },
    {
      "doc_path": "ostd/sync/rwarc/struct.RwArc.html#method.write",
      "name": "RwArc::write",
      "group": "sync",
      "location": "ostd/src/sync/rwarc.rs:75:5"
    },
    {
      "doc_path": "ostd/sync/rwlock/struct.RwLockUpgradeableGuard.html#method.deref",
      "name": "RwLockUpgradeableGuard::deref",
      "group": "sync",
      "location": "ostd/src/sync/rwlock.rs:1080:5"
    },
    {
      "doc_path": "ostd/sync/rwlock/struct.RwLockUpgradeableGuard.html#method.drop",
      "name": "RwLockUpgradeableGuard::drop",
      "group": "sync",
      "location": "ostd/src/sync/rwlock.rs:1102:5"
    },
    {
      "doc_path": "ostd/sync/rwlock/struct.RwLock.html#method.new",
      "name": "RwLock::new",
      "group": "sync",
      "location": "ostd/src/sync/rwlock.rs:351:5"
    },
    {
      "doc_path": "ostd/sync/rwlock/struct.RwLock.html#method.read",
      "name": "RwLock::read",
      "group": "sync",
      "location": "ostd/src/sync/rwlock.rs:404:5"
    },
    {
      "doc_path": "ostd/sync/rwlock/struct.RwLock.html#method.write",
      "name": "RwLock::write",
      "group": "sync",
      "location": "ostd/src/sync/rwlock.rs:421:5"
    },
    {
      "doc_path": "ostd/sync/rwlock/struct.RwLock.html#method.upread",
      "name": "RwLock::upread",
      "group": "sync",
      "location": "ostd/src/sync/rwlock.rs:442:5"
    },
    {
      "doc_path": "ostd/sync/rwlock/struct.RwLock.html#method.try_read",
      "name": "RwLock::try_read",
      "group": "sync",
      "location": "ostd/src/sync/rwlock.rs:456:5"
    },
    {
      "doc_path": "ostd/sync/rwlock/struct.RwLock.html#method.try_write",
      "name": "RwLock::try_write",
      "group": "sync",
      "location": "ostd/src/sync/rwlock.rs:514:5"
    },
    {
      "doc_path": "ostd/sync/rwlock/struct.RwLock.html#method.try_upread",
      "name": "RwLock::try_upread",
      "group": "sync",
      "location": "ostd/src/sync/rwlock.rs:570:5"
    },
    {
      "doc_path": "ostd/sync/rwlock/struct.RwLockReadGuard.html#method.deref",
      "name": "RwLockReadGuard::deref",
      "group": "sync",
      "location": "ostd/src/sync/rwlock.rs:738:5"
    },
    {
      "doc_path": "ostd/sync/rwlock/struct.RwLockWriteGuard.html#method.deref",
      "name": "RwLockWriteGuard::deref",
      "group": "sync",
      "location": "ostd/src/sync/rwlock.rs:836:5"
    },
    {
      "doc_path": "ostd/sync/rwlock/struct.RwLockWriteGuard.html#method.deref_mut",
      "name": "RwLockWriteGuard::deref_mut",
      "group": "sync",
      "location": "ostd/src/sync/rwlock.rs:854:5"
    },
    {
      "doc_path": "ostd/sync/rwlock/struct.RwLockWriteGuard.html#method.drop",
      "name": "RwLockWriteGuard::drop",
      "group": "sync",
      "location": "ostd/src/sync/rwlock.rs:872:5"
    },
    {
      "doc_path": "ostd/sync/rwlock/struct.RwLockUpgradeableGuard.html#method.upgrade",
      "name": "RwLockUpgradeableGuard::upgrade",
      "group": "sync",
      "location": "ostd/src/sync/rwlock.rs:959:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutexUpgradeableGuard.html#method.drop",
      "name": "RwMutexUpgradeableGuard::drop",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:1014:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutexUpgradeableGuard.html#method.deref",
      "name": "RwMutexUpgradeableGuard::deref",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:1051:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutexUpgradeableGuard.html#method.fmt",
      "name": "RwMutexUpgradeableGuard::fmt",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:1069:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutex.html#method.new",
      "name": "RwMutex::new",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:282:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutex.html#method.read",
      "name": "RwMutex::read",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:333:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutex.html#method.write",
      "name": "RwMutex::write",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:344:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutex.html#method.upread",
      "name": "RwMutex::upread",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:359:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutex.html#method.try_read",
      "name": "RwMutex::try_read",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:367:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutex.html#method.try_write",
      "name": "RwMutex::try_write",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:421:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutex.html#method.try_upread",
      "name": "RwMutex::try_upread",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:470:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutexReadGuard.html#method.deref",
      "name": "RwMutexReadGuard::deref",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:613:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutexReadGuard.html#method.fmt",
      "name": "RwMutexReadGuard::fmt",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:631:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutexWriteGuard.html#method.deref",
      "name": "RwMutexWriteGuard::deref",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:696:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutexWriteGuard.html#method.fmt",
      "name": "RwMutexWriteGuard::fmt",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:712:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutexWriteGuard.html#method.downgrade",
      "name": "RwMutexWriteGuard::downgrade",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:722:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutexWriteGuard.html#method.drop",
      "name": "RwMutexWriteGuard::drop",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:812:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutexWriteGuard.html#method.deref_mut",
      "name": "RwMutexWriteGuard::deref_mut",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:857:5"
    },
    {
      "doc_path": "ostd/sync/rwmutex/struct.RwMutexUpgradeableGuard.html#method.upgrade",
      "name": "RwMutexUpgradeableGuard::upgrade",
      "group": "sync",
      "location": "ostd/src/sync/rwmutex.rs:906:5"
    },
    {
      "doc_path": "ostd/sync/spin/struct.SpinLock.html#method.new",
      "name": "SpinLock::new",
      "group": "sync",
      "location": "ostd/src/sync/spin.rs:165:5"
    },
    {
      "doc_path": "ostd/sync/spin/struct.SpinLock.html#method.lock",
      "name": "SpinLock::lock",
      "group": "sync",
      "location": "ostd/src/sync/spin.rs:272:5"
    },
    {
      "doc_path": "ostd/sync/spin/struct.SpinLock.html#method.try_lock",
      "name": "SpinLock::try_lock",
      "group": "sync",
      "location": "ostd/src/sync/spin.rs:310:5"
    },
    {
      "doc_path": "ostd/sync/spin/struct.SpinLockGuard.html#method.deref",
      "name": "SpinLockGuard::deref",
      "group": "sync",
      "location": "ostd/src/sync/spin.rs:542:5"
    },
    {
      "doc_path": "ostd/sync/spin/struct.SpinLockGuard.html#method.deref_mut",
      "name": "SpinLockGuard::deref_mut",
      "group": "sync",
      "location": "ostd/src/sync/spin.rs:568:5"
    },
    {
      "doc_path": "ostd/sync/spin/struct.SpinLockGuard.html#method.drop",
      "name": "SpinLockGuard::drop",
      "group": "sync",
      "location": "ostd/src/sync/spin.rs:594:5"
    },
    {
      "doc_path": "ostd/sync/wait/struct.WaitQueue.html#method.wait_until",
      "name": "WaitQueue::wait_until",
      "group": "sync",
      "location": "ostd/src/sync/wait.rs:124:5"
    },
    {
      "doc_path": "ostd/sync/wait/struct.WaitQueue.html#method.wake_one",
      "name": "WaitQueue::wake_one",
      "group": "sync",
      "location": "ostd/src/sync/wait.rs:146:5"
    },
    {
      "doc_path": "ostd/sync/wait/struct.WaitQueue.html#method.wake_all",
      "name": "WaitQueue::wake_all",
      "group": "sync",
      "location": "ostd/src/sync/wait.rs:189:5"
    },
    {
      "doc_path": "ostd/sync/wait/struct.WaitQueue.html#method.default",
      "name": "WaitQueue::default",
      "group": "sync",
      "location": "ostd/src/sync/wait.rs:268:5"
    },
    {
      "doc_path": "ostd/sync/wait/struct.Waiter.html#method.new_pair",
      "name": "Waiter::new_pair",
      "group": "sync",
      "location": "ostd/src/sync/wait.rs:328:5"
    },
    {
      "doc_path": "ostd/sync/wait/struct.Waiter.html#method.wait",
      "name": "Waiter::wait",
      "group": "sync",
      "location": "ostd/src/sync/wait.rs:347:5"
    },
    {
      "doc_path": "ostd/sync/wait/struct.Waiter.html#method.wait_until_or_cancelled",
      "name": "Waiter::wait_until_or_cancelled",
      "group": "sync",
      "location": "ostd/src/sync/wait.rs:368:5"
    },
    {
      "doc_path": "ostd/sync/wait/struct.Waiter.html#method.waker",
      "name": "Waiter::waker",
      "group": "sync",
      "location": "ostd/src/sync/wait.rs:404:5"
    },
    {
      "doc_path": "ostd/sync/wait/struct.Waiter.html#method.task",
      "name": "Waiter::task",
      "group": "sync",
      "location": "ostd/src/sync/wait.rs:409:5"
    },
    {
      "doc_path": "ostd/sync/wait/struct.Waiter.html#method.drop",
      "name": "Waiter::drop",
      "group": "sync",
      "location": "ostd/src/sync/wait.rs:428:5"
    },
    {
      "doc_path": "ostd/sync/wait/struct.WaitQueue.html#method.new",
      "name": "WaitQueue::new",
      "group": "sync",
      "location": "ostd/src/sync/wait.rs:97:5"
    },
    {
      "doc_path": "ostd/task/scheduler/info/struct.AtomicCpuId.html#method.set_anyway",
      "name": "AtomicCpuId::set_anyway",
      "group": "task",
      "location": "ostd/src/task/scheduler/info.rs:102:5"
    },
    {
      "doc_path": "ostd/task/scheduler/info/struct.AtomicCpuId.html#method.set_to_none",
      "name": "AtomicCpuId::set_to_none",
      "group": "task",
      "location": "ostd/src/task/scheduler/info.rs:128:5"
    },
    {
      "doc_path": "ostd/task/scheduler/info/struct.AtomicCpuId.html#method.get",
      "name": "AtomicCpuId::get",
      "group": "task",
      "location": "ostd/src/task/scheduler/info.rs:145:5"
    },
    {
      "doc_path": "ostd/task/scheduler/info/struct.AtomicCpuId.html#method.default",
      "name": "AtomicCpuId::default",
      "group": "task",
      "location": "ostd/src/task/scheduler/info.rs:170:5"
    },
    {
      "doc_path": "ostd/task/scheduler/info/struct.AtomicCpuId.html#method.set_if_is_none",
      "name": "AtomicCpuId::set_if_is_none",
      "group": "task",
      "location": "ostd/src/task/scheduler/info.rs:64:5"
    },
    {
      "doc_path": "ostd/task/scheduler/trait.LocalRunQueue.html#method.pick_next",
      "name": "LocalRunQueue::pick_next",
      "group": "task",
      "location": "ostd/src/task/scheduler/mod.rs:344:5"
    },
    {
      "doc_path": "ostd/task/scheduler/fn.inject_scheduler.html",
      "name": "inject_scheduler",
      "group": "task",
      "location": "ostd/src/task/scheduler/mod.rs:88:1"
    },
    {
      "doc_path": "src/ostd/timer/jiffies.rs.html#102-104",
      "name": "core::time::Duration::from",
      "group": "timer",
      "location": "ostd/src/timer/jiffies.rs:102:5"
    },
    {
      "doc_path": "ostd/timer/jiffies/struct.Jiffies.html#method.new",
      "name": "Jiffies::new",
      "group": "timer",
      "location": "ostd/src/timer/jiffies.rs:64:5"
    },
    {
      "doc_path": "ostd/timer/jiffies/struct.Jiffies.html#method.elapsed",
      "name": "Jiffies::elapsed",
      "group": "timer",
      "location": "ostd/src/timer/jiffies.rs:69:5"
    },
    {
      "doc_path": "ostd/timer/jiffies/struct.Jiffies.html#method.as_u64",
      "name": "Jiffies::as_u64",
      "group": "timer",
      "location": "ostd/src/timer/jiffies.rs:75:5"
    },
    {
      "doc_path": "ostd/timer/jiffies/struct.Jiffies.html#method.add",
      "name": "Jiffies::add",
      "group": "timer",
      "location": "ostd/src/timer/jiffies.rs:84:5"
    },
    {
      "doc_path": "ostd/timer/jiffies/struct.Jiffies.html#method.as_duration",
      "name": "Jiffies::as_duration",
      "group": "timer",
      "location": "ostd/src/timer/jiffies.rs:93:5"
    },
    {
      "doc_path": "ostd/trap/irq/fn.disable_local.html",
      "name": "disable_local",
      "group": "trap",
      "location": "ostd/src/trap/irq.rs:220:1"
    },
    {
      "doc_path": "ostd/trap/irq/struct.DisabledLocalIrqGuard.html#method.transfer_to",
      "name": "DisabledLocalIrqGuard::transfer_to",
      "group": "trap",
      "location": "ostd/src/trap/irq.rs:265:5"
    }
  ]
}