1type citadel_provision, domain; 2type citadel_provision_exec, exec_type, vendor_file_type, file_type; 3 4userdebug_or_eng(` 5 init_daemon_domain(citadel_provision) 6') 7