01 [init -> bomb] Done.
02 alloc(): avail: 1847296, addr: 0xfffffffffc6d1000, size: 4096
03 Task::create()
04 alloc(): avail: 1843200, addr: 0xfffffffffc6d2000, size: 4096
05 Ptab::Walk::sync(): l_a: 800000000, r_a: 800000000, size: 0xffff800000000, level: 2
06 alloc(): avail: 1839104, addr: 0xfffffffffc6d5000, size: 4096
07 Ptab::Walk::sync(): l_a: ff8000000, r_a: ff8000000, size: 0xffff008000000, level: 1
08 alloc(): avail: 1835008, addr: 0xfffffffffc6df000, size: 4096
09 alloc(): avail: 1830912, addr: 0xfffffffffc6a0000, size: 65536
10 Ptab::Walk::walk(): virt = 44000, level = 3
11 alloc(): avail: 1765376, addr: 0xfffffffffc6b3000, size: 4096
12 Ptab::Walk::walk(): virt = 44000, level = 2
13 alloc(): avail: 1761280, addr: 0xfffffffffc6db000, size: 4096
14 Ptab::Walk::walk(): virt = 44000, level = 1
15 alloc(): avail: 1757184, addr: 0xfffffffffc6d8000, size: 4096
16 Task::create() finished
17 alloc(): avail: 1753088, addr: 0xfffffffffc6b5000, size: 4096
18 Generic_obj_space<SPACE>::caps_alloc(): virt = 1
19 alloc(): avail: 1748992, addr: 0xfffffffffc6b6000, size: 4096
20 Ptab::Walk::walk(): virt = fffffffff0800, level = 1
21 alloc(): avail: 1744896, addr: 0xfffffffffc6b7000, size: 4096
22 Ptab::Walk::walk(): virt = 1020, level = 2
23 alloc(): avail: 1740800, addr: 0xfffffffffc6b8000, size: 4096
24 Ptab::Walk::walk(): virt = 1020, level = 1
25 alloc(): avail: 1736704, addr: 0xfffffffffc6b9000, size: 4096
26 Generic_obj_space<SPACE>::caps_alloc(): virt = 204
27 alloc(): avail: 1732608, addr: 0xfffffffffc6ba000, size: 4096
28 [init -> bomb -> bomb] --- bomb started ---
29 [init -> bomb -> bomb] I'm a leaf node.
30 [init -> bomb] [2] It's time to kill all my children...
31 [init -> bomb] virtual Bomb_child::~Bomb_child()
32 free(): avail: 1732608, addr: 0xfffffffffc6b5000, size: 4096
33 free(): avail: 1798144, addr: 0xfffffffffc6a0000, size: 65536
34 Generic_obj_space<SPACE>::caps_free()
35 free(): avail: 1802240, addr: 0xfffffffffc6b6000, size: 4096
36 free(): avail: 1806336, addr: 0xfffffffffc6ba000, size: 4096
37 Generic_obj_space<SPACE>::caps_free() finished
38 Mem_space::dir_shutdown()
39 Ptab::Walk::destroy(): start: 0, end: 40000, level: 1
40 free(): avail: 1810432, addr: 0xfffffffffc6b8000, size: 4096
41 Ptab::Walk::destroy(): start: 0, end: 800000000, level: 2
42 free(): avail: 1814528, addr: 0xfffffffffc6b3000, size: 4096
43 Mem_space::dir_shutdown() finished
44 free(): avail: 1818624, addr: 0xfffffffffc6d2000, size: 4096
45 free(): avail: 1822720, addr: 0xfffffffffc6d1000, size: 4096
46 [init -> bomb] Done.