type hal_keymaster_qti, domain; hal_server_domain(hal_keymaster_qti, hal_keymaster) type hal_keymaster_qti_exec, exec_type, vendor_file_type, file_type; init_daemon_domain(hal_keymaster_qti) get_prop(hal_keymaster_qti, vendor_tee_listener_prop) get_prop(hal_keymaster_qti, vendor_security_patch_level_prop)