Use vmcb_read/write for the vmcb snapshot functions.
This avoids some unnecessary layers of indirection.