1type hal_dumpstate_impl, domain; 2type hal_dumpstate_impl_exec, exec_type, vendor_file_type, file_type; 3 4hal_server_domain(hal_dumpstate_impl, hal_dumpstate) 5 6init_daemon_domain(hal_dumpstate_impl) 7