vma use count: 0, high_memory = dc000000, 0x1c000000
