| arch ia32 |
| |
| objects { |
| |
| a = tcb (dom: 0) |
| b = tcb (dom: 0) |
| cnode_booter = cnode (8 bits) |
| control = ep |
| frame_name = frame (4k) |
| frame_nic1[64] = frame (4k) |
| frame_nic2[64] = frame (4k) |
| frame_nic3[4] = frame (4k) |
| io_ports = io_ports (ports: [4096..45894]) |
| io_pt1 = io_pt (level: 1) |
| io_pt2 = io_pt (level: 2) |
| io_pt3 = io_pt (level: 3) |
| iospace = io_device (domainID: 50, 15:10.3) |
| irq_handler[3] = irq |
| linux_pd = pd |
| nic1 = io_device (domainID: 0, 0:0.0) |
| nic1_notification = notification |
| nic2 = io_device (domainID: 0, 0:0.0) |
| nic3 = io_device (domainID: 50, 15:10.3) |
| rm_ap = asid_pool (asid_high: 0x0) |
| rm_cn = cnode (10 bits) |
| rm_pd = pd |
| rm_tcb = tcb (dom: 0) |
| some_pt = pt |
| timer = notification |
| x = tcb (dom: 0) |
| y = ep |
| z = ep |
| |
| name = ut (8 bits) {y, z, name3, a, b} |
| name2 = ut (8 bits) {rm_cn} |
| name3 = ut {x} |
| name_b = ut (10 bits) |
| rm_ut = ut {rm_tcb, name2, rm_pd, rm_ap, linux_pd, |
| rm_ut_small[0..49], rm_ut_big[0..99], frame_nic1[0..63], nic1, |
| frame_nic2[0..63], nic2, frame_nic3[0..3], nic3, timer, control, |
| io_pt1, io_pt2, io_pt3} |
| rm_ut_big[100] = ut (20 bits) |
| rm_ut_small[50] = ut (12 bits) |
| |
| } caps { |
| |
| cnode_booter {1: rm_ut} |
| |
| io_pt1 {0: io_pt2} |
| |
| io_pt2 {0: io_pt3} |
| |
| io_pt3 {0: frame_nic3[0]} |
| |
| linux_pd { |
| 10: frame_name |
| 255: some_pt |
| 256: frame_nic1[0..30] |
| 304: frame_nic1[31..63] |
| 352: frame_nic2[10] |
| 384: frame_nic2[11..17, 0..2, 10, 10..63] |
| } |
| |
| nic1 {0: io_pt1} |
| |
| rm_cn { |
| 1: rm_tcb |
| 2: rm_cn |
| 3: rm_pd |
| 6: rm_ap |
| 7: io_ports |
| 11: linux_pd |
| 12: rm_ut_small[3..5, 7..20, 23, 27..49] |
| 62: rm_ut_big[0..99] |
| 163: irq_handler[0] |
| 164: frame_nic1[0..63] |
| 228: iospace |
| 229: irq_handler[1] |
| 230: frame_nic2[0..63] |
| 295: irq_handler[2] |
| 296: frame_nic3[0..3] |
| 301: timer (G) |
| 302: control (badge: 10) |
| 303: frame_nic1[0] |
| 320: io_space_master |
| 325: nic2 |
| 327: io_pt1 |
| 328: io_ports |
| 528: x |
| } |
| |
| rm_tcb { |
| 0: rm_cn |
| 1: rm_pd |
| } |
| |
| some_pt {37: frame_nic3[0..2]} |
| |
| } cdt { |
| |
| } irq maps { |
| |
| 0: irq_handler[0..2] |
| |
| } |
