1*e4a36f41SAndroid Build Coastguard Workertype hal_keymint_default, domain; 2*e4a36f41SAndroid Build Coastguard Workerhal_server_domain(hal_keymint_default, hal_keymint) 3*e4a36f41SAndroid Build Coastguard Worker 4*e4a36f41SAndroid Build Coastguard Workertype hal_keymint_default_exec, exec_type, vendor_file_type, file_type; 5*e4a36f41SAndroid Build Coastguard Workerinit_daemon_domain(hal_keymint_default) 6*e4a36f41SAndroid Build Coastguard Worker 7*e4a36f41SAndroid Build Coastguard Workerhal_attribute_service(hal_keymint, hal_secureclock_service) 8*e4a36f41SAndroid Build Coastguard Workerhal_attribute_service(hal_keymint, hal_sharedsecret_service) 9*e4a36f41SAndroid Build Coastguard Worker 10*e4a36f41SAndroid Build Coastguard Workerget_prop(hal_keymint_default, vendor_security_patch_level_prop); 11