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