type rpmb_dev, domain; type rpmb_dev_exec, vendor_file_type, exec_type, file_type; init_daemon_domain(rpmb_dev)