diff src/os_cpu/linux_zero/vm/os_linux_zero.hpp @ 7813:c58f8f4cda69

Remove last usage of VmIds.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Mon, 18 Feb 2013 19:16:59 -0800
parents f95d63e2154a
children 0f03ff49c720
line wrap: on
line diff