Symbol: segvmm_dump