| arch arm11 |
| |
| objects { |
| |
| asid_pool@0xf0306000 = asid_pool (asid_high: 0x0) |
| cnode@0xf7ff0000 = cnode (12 bits) |
| frame@0x10000000[64] = frame (1M) |
| frame@0x18000000[32] = frame (1M) |
| frame@0x26000000 = frame (4k) |
| frame@0x30000000[32] = frame (1M) |
| frame@0xb3f80000 = frame (4k) |
| frame@0xb3f84000 = frame (4k) |
| frame@0xb3f88000 = frame (4k) |
| frame@0xb3f8c000 = frame (4k) |
| frame@0xb3f94000 = frame (4k) |
| frame@0xb3f98000 = frame (4k) |
| frame@0xb3f9c000 = frame (4k) |
| frame@0xb3fa0000 = frame (4k) |
| frame@0xb3fa4000 = frame (4k) |
| frame@0xb3fa8000 = frame (4k) |
| frame@0xb3fac000 = frame (4k) |
| frame@0xb3fb0000 = frame (4k) |
| frame@0xb3fb4000 = frame (4k) |
| frame@0xc0004000 = frame (4k) |
| frame@0xc0008000 = frame (4k) |
| frame@0xc000c000 = frame (4k) |
| frame@0xc0010000 = frame (4k) |
| frame@0xc0014000 = frame (4k) |
| frame@0xc0018000 = frame (4k) |
| frame@0xc001c000 = frame (4k) |
| frame@0xc0020000 = frame (4k) |
| frame@0xc0024000 = frame (4k) |
| frame@0xc0028000 = frame (4k) |
| frame@0xc003c000 = frame (4k) |
| frame@0xc3f80000 = frame (4k) |
| frame@0xc3f84000 = frame (4k) |
| frame@0xc3f8c000 = frame (4k) |
| frame@0xc3f90000 = frame (4k) |
| frame@0xc3f98000 = frame (4k) |
| frame@0xc3fa4000 = frame (4k) |
| frame@0xc3fb0000 = frame (4k) |
| frame@0xc3fc4000 = frame (4k) |
| frame@0xc3fcc000 = frame (4k) |
| frame@0xc3fd0000 = frame (4k) |
| frame@0xc3fd8000 = frame (4k) |
| frame@0xc3fe0000 = frame (4k) |
| frame@0xc3fec000 = frame (4k) |
| frame@0xf002f000[2] = frame (4k) |
| frame@0xf0307000[16] = frame (4k) |
| pd@0xf7fec000 = pd |
| pt@0xf0031000 = pt |
| tcb@0xf0031700 = tcb (dom: 0) |
| |
| untyped@0xf0000000@12[16] = ut (12 bits) |
| untyped@0xf0031800@11 = ut (11 bits) |
| untyped@0xf0032000@13 = ut (13 bits) |
| untyped@0xf0034000@14 = ut (14 bits) |
| untyped@0xf0038000@15 = ut (15 bits) |
| untyped@0xf0040000@18 = ut (18 bits) |
| untyped@0xf0080000@19 = ut (19 bits) |
| untyped@0xf0100000@20[2] = ut (20 bits) |
| untyped@0xf0300000@14 = ut (14 bits) |
| untyped@0xf0304000@13 = ut (13 bits) |
| untyped@0xf0317000@12 = ut (12 bits) |
| untyped@0xf0318000@15 = ut (15 bits) |
| untyped@0xf0320000@17 = ut (17 bits) |
| untyped@0xf0340000@18 = ut (18 bits) |
| untyped@0xf0380000@19 = ut (19 bits) |
| untyped@0xf0400000@22 = ut (22 bits) |
| untyped@0xf0800000@23 = ut (23 bits) |
| untyped@0xf1000000@24 = ut (24 bits) |
| untyped@0xf2000000@25[2] = ut (25 bits) |
| untyped@0xf6000000@24 = ut (24 bits) |
| untyped@0xf7000000@23 = ut (23 bits) |
| untyped@0xf7800000@22 = ut (22 bits) |
| untyped@0xf7c00000@21 = ut (21 bits) |
| untyped@0xf7e00000@20 = ut (20 bits) |
| untyped@0xf7f00000@19 = ut (19 bits) |
| untyped@0xf7f80000@18 = ut (18 bits) |
| untyped@0xf7fc0000@17 = ut (17 bits) |
| untyped@0xf7fe0000@15 = ut (15 bits) |
| untyped@0xf7fe8000@14 = ut (14 bits) |
| |
| } caps { |
| |
| asid_pool@0xf0306000 {1: pd@0xf7fec000} |
| |
| cnode@0xf7ff0000 { |
| 1: tcb@0xf0031700 |
| 2: cnode@0xf7ff0000 (guard_size: 20) |
| 3: pd@0xf7fec000 (asid: (0x0, 0x1)) |
| 4: irq_control |
| 5: asid_control |
| 6: asid_pool@0xf0306000 |
| 9: frame@0xf002f000[1..0] (RW, asid: (0x0, 0x1)) |
| 11: frame@0xf0307000[0..15] (RW, asid: (0x0, 0x1)) |
| 27: pt@0xf0031000 (asid: (0x0, 0x1)) |
| 28: untyped@0xf0000000@12[0..15] |
| 44: untyped@0xf0031800@11 |
| 45: untyped@0xf0032000@13 |
| 46: untyped@0xf0304000@13 |
| 47: untyped@0xf0034000@14 |
| 48: untyped@0xf0300000@14 |
| 49: untyped@0xf0038000@15 |
| 50: untyped@0xf0040000@18 |
| 51: untyped@0xf0080000@19 |
| 52: untyped@0xf0100000@20[0..1] |
| 54: untyped@0xf0317000@12 |
| 55: untyped@0xf7fe8000@14 |
| 56: untyped@0xf0318000@15 |
| 57: untyped@0xf7fe0000@15 |
| 58: untyped@0xf0320000@17 |
| 59: untyped@0xf7fc0000@17 |
| 60: untyped@0xf0340000@18 |
| 61: untyped@0xf7f80000@18 |
| 62: untyped@0xf0380000@19 |
| 63: untyped@0xf7f00000@19 |
| 64: untyped@0xf7e00000@20 |
| 65: untyped@0xf7c00000@21 |
| 66: untyped@0xf0400000@22 |
| 67: untyped@0xf7800000@22 |
| 68: untyped@0xf0800000@23 |
| 69: untyped@0xf7000000@23 |
| 70: untyped@0xf1000000@24 |
| 71: untyped@0xf6000000@24 |
| 72: untyped@0xf2000000@25[0..1] |
| 74: frame@0xb3f80000 (RW) |
| 75: frame@0xb3f84000 (RW) |
| 76: frame@0xb3f88000 (RW) |
| 77: frame@0xb3f8c000 (RW) |
| 78: frame@0xb3f94000 (RW) |
| 79: frame@0xb3f98000 (RW) |
| 80: frame@0xb3f9c000 (RW) |
| 81: frame@0xb3fa0000 (RW) |
| 82: frame@0xb3fa4000 (RW) |
| 83: frame@0xb3fa8000 (RW) |
| 84: frame@0xb3fac000 (RW) |
| 85: frame@0xb3fb0000 (RW) |
| 86: frame@0xb3fb4000 (RW) |
| 87: frame@0xc0004000 (RW) |
| 88: frame@0xc0008000 (RW) |
| 89: frame@0xc000c000 (RW) |
| 90: frame@0xc0010000 (RW) |
| 91: frame@0xc0014000 (RW) |
| 92: frame@0xc0018000 (RW) |
| 93: frame@0xc001c000 (RW) |
| 94: frame@0xc0020000 (RW) |
| 95: frame@0xc0024000 (RW) |
| 96: frame@0xc0028000 (RW) |
| 97: frame@0xc003c000 (RW) |
| 98: frame@0xc3f80000 (RW) |
| 99: frame@0xc3f84000 (RW) |
| 100: frame@0xc3f8c000 (RW) |
| 101: frame@0xc3f90000 (RW) |
| 102: frame@0xc3f98000 (RW) |
| 103: frame@0xc3fa4000 (RW) |
| 104: frame@0xc3fb0000 (RW) |
| 105: frame@0xc3fc4000 (RW) |
| 106: frame@0xc3fcc000 (RW) |
| 107: frame@0xc3fd0000 (RW) |
| 108: frame@0xc3fd8000 (RW) |
| 109: frame@0xc3fe0000 (RW) |
| 110: frame@0xc3fec000 (RW) |
| 111: frame@0x10000000[0..63] (RW) |
| 175: frame@0x18000000[0..31] (RW) |
| 207: frame@0x26000000 (RW) |
| 208: frame@0x30000000[0..31] (RW) |
| } |
| |
| pd@0xf7fec000 {0: pt@0xf0031000} |
| |
| pt@0xf0031000 { |
| 7: frame@0xf0307000[0..15] (RW) |
| 23: frame@0xf002f000[0..1] (RW) |
| } |
| |
| tcb@0xf0031700 { |
| 0: cnode@0xf7ff0000 (guard_size: 20) |
| 1: pd@0xf7fec000 (asid: (0x0, 0x1)) |
| 2: tcb@0xf0031700 (master_reply) |
| 4: frame@0xf002f000[0] (RW, asid: (0x0, 0x1)) |
| } |
| |
| } cdt { |
| |
| (cnode@0xf7ff0000, 2) {(tcb@0xf0031700, 0)} |
| |
| (cnode@0xf7ff0000, 3) {(tcb@0xf0031700, 1)} |
| |
| (cnode@0xf7ff0000, 10) {(tcb@0xf0031700, 4)} |
| |
| } irq maps { |
| |
| } |
