<map id="vmm_createVirtualSpace" name="vmm_createVirtualSpace">
<area shape="rect" id="node1" title=" " alt="" coords="5,81,172,108"/>
<area shape="rect" id="node2" href="$d1/d21/vmm_8h.html#aafef303dc8f2c6ed7bcf171819579166" title=" " alt="" coords="232,5,359,32"/>
<area shape="rect" id="node3" href="$d4/df4/paging_8h.html#a7035c695cbbae5799ecc1f9bcab7dd48" title=" " alt="" coords="419,69,549,96"/>
<area shape="rect" id="node7" href="$d4/df4/paging_8h.html#a5522eccf81d4630537620209651be16e" title=" " alt="" coords="220,107,371,133"/>
<area shape="rect" id="node8" href="$d1/d21/vmm_8h.html#a457446966aafafd939af6603f68516b1" title=" " alt="" coords="233,157,358,184"/>
<area shape="rect" id="node4" href="$dc/d88/armv6_2spinlock_8c.html#a71f03d2ba55111c715b6068254847a53" title=" " alt="" coords="597,101,672,128"/>
<area shape="rect" id="node5" href="$d3/d02/armv6_2sched_8c.html#a08933fe6d593a1c78b9080359f15a0b7" title=" " alt="" coords="721,76,811,103"/>
<area shape="rect" id="node6" href="$dc/d88/armv6_2spinlock_8c.html#a740766af5da58616f700fffab6768a78" title=" " alt="" coords="720,127,812,153"/>
<area shape="rect" id="node9" href="$d1/d21/vmm_8h.html#a38c3fe6ce5f3bf8af4a0631d4c41b0ba" title=" " alt="" coords="447,132,521,159"/>
</map>