1 2 3
type RIDL, domain; type RIDL_exec, exec_type, vendor_file_type, file_type; init_daemon_domain(RIDL)