/* Some GGTT VM helpers */