gerrit.omnirom.org / android_packages_modules_Virtualization / c89b5e6b865112b56a010a351dfd5d25bd2b797d / dice_for_avf_guest.cddl