root/sys/arm64/include/vmm_snapshot.h 
/* $FreeBSD$ */