gerrit.omnirom.org / android_packages_modules_Virtualization / 0cb7a75d896db2f10091ff56a21c931f7e0bfc87 / dice_for_avf_guest.cddl