]>
Commit | Line | Data |
---|---|---|
3b20eb23 | 1 | // SPDX-License-Identifier: GPL-2.0-only |
3e7ee490 HJ |
2 | /* |
3 | * | |
4 | * Copyright (c) 2009, Microsoft Corporation. | |
5 | * | |
3e7ee490 HJ |
6 | * Authors: |
7 | * Haiyang Zhang <haiyangz@microsoft.com> | |
8 | * Hank Janssen <hjanssen@microsoft.com> | |
3e7ee490 | 9 | */ |
0a46618d HJ |
10 | #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt |
11 | ||
a0086dc5 | 12 | #include <linux/kernel.h> |
0c3b7b2f S |
13 | #include <linux/sched.h> |
14 | #include <linux/wait.h> | |
5289d3d1 | 15 | #include <linux/delay.h> |
a0086dc5 | 16 | #include <linux/mm.h> |
931cccc9 | 17 | #include <linux/module.h> |
5a0e3ad6 | 18 | #include <linux/slab.h> |
a0086dc5 | 19 | #include <linux/vmalloc.h> |
46a97191 | 20 | #include <linux/hyperv.h> |
37f7278b | 21 | #include <linux/export.h> |
fc53662f VK |
22 | #include <asm/mshyperv.h> |
23 | ||
0f2a6619 | 24 | #include "hyperv_vmbus.h" |
3e7ee490 | 25 | |
3e7ee490 | 26 | |
da9fcb72 HZ |
27 | struct vmbus_connection vmbus_connection = { |
28 | .conn_state = DISCONNECTED, | |
29 | .next_gpadl_handle = ATOMIC_INIT(0xE1E10), | |
b307b389 DC |
30 | |
31 | .ready_for_suspend_event= COMPLETION_INITIALIZER( | |
32 | vmbus_connection.ready_for_suspend_event), | |
d8bd2d44 DC |
33 | .ready_for_resume_event = COMPLETION_INITIALIZER( |
34 | vmbus_connection.ready_for_resume_event), | |
3e7ee490 | 35 | }; |
95096f2f | 36 | EXPORT_SYMBOL_GPL(vmbus_connection); |
3e7ee490 | 37 | |
37f7278b S |
38 | /* |
39 | * Negotiated protocol version with the host. | |
40 | */ | |
41 | __u32 vmbus_proto_version; | |
42 | EXPORT_SYMBOL_GPL(vmbus_proto_version); | |
43 | ||
bedc61a9 AP |
44 | /* |
45 | * Table of VMBus versions listed from newest to oldest. | |
46 | */ | |
47 | static __u32 vmbus_versions[] = { | |
2d4f49b3 AP |
48 | VERSION_WIN10_V5_2, |
49 | VERSION_WIN10_V5_1, | |
bedc61a9 | 50 | VERSION_WIN10_V5, |
2d4f49b3 | 51 | VERSION_WIN10_V4_1, |
bedc61a9 AP |
52 | VERSION_WIN10, |
53 | VERSION_WIN8_1, | |
54 | VERSION_WIN8, | |
55 | VERSION_WIN7, | |
56 | VERSION_WS2008 | |
57 | }; | |
610071c3 | 58 | |
931cccc9 AP |
59 | /* |
60 | * Maximal VMBus protocol version guests can negotiate. Useful to cap the | |
61 | * VMBus version for testing and debugging purpose. | |
62 | */ | |
63 | static uint max_version = VERSION_WIN10_V5_2; | |
64 | ||
65 | module_param(max_version, uint, S_IRUGO); | |
66 | MODULE_PARM_DESC(max_version, | |
67 | "Maximal VMBus protocol version which can be negotiated"); | |
68 | ||
f53335e3 | 69 | int vmbus_negotiate_version(struct vmbus_channel_msginfo *msginfo, u32 version) |
610071c3 S |
70 | { |
71 | int ret = 0; | |
41e270f6 | 72 | unsigned int cur_cpu; |
610071c3 S |
73 | struct vmbus_channel_initiate_contact *msg; |
74 | unsigned long flags; | |
610071c3 S |
75 | |
76 | init_completion(&msginfo->waitevent); | |
77 | ||
78 | msg = (struct vmbus_channel_initiate_contact *)msginfo->msg; | |
79 | ||
ae20b254 | 80 | memset(msg, 0, sizeof(*msg)); |
610071c3 S |
81 | msg->header.msgtype = CHANNELMSG_INITIATE_CONTACT; |
82 | msg->vmbus_version_requested = version; | |
ae20b254 DC |
83 | |
84 | /* | |
2d4f49b3 AP |
85 | * VMBus protocol 5.0 (VERSION_WIN10_V5) and higher require that we must |
86 | * use VMBUS_MESSAGE_CONNECTION_ID_4 for the Initiate Contact Message, | |
ae20b254 DC |
87 | * and for subsequent messages, we must use the Message Connection ID |
88 | * field in the host-returned Version Response Message. And, with | |
2d4f49b3 AP |
89 | * VERSION_WIN10_V5 and higher, we don't use msg->interrupt_page, but we |
90 | * tell the host explicitly that we still use VMBUS_MESSAGE_SINT(2) for | |
ae20b254 DC |
91 | * compatibility. |
92 | * | |
93 | * On old hosts, we should always use VMBUS_MESSAGE_CONNECTION_ID (1). | |
94 | */ | |
95 | if (version >= VERSION_WIN10_V5) { | |
96 | msg->msg_sint = VMBUS_MESSAGE_SINT; | |
97 | vmbus_connection.msg_conn_id = VMBUS_MESSAGE_CONNECTION_ID_4; | |
98 | } else { | |
99 | msg->interrupt_page = virt_to_phys(vmbus_connection.int_page); | |
100 | vmbus_connection.msg_conn_id = VMBUS_MESSAGE_CONNECTION_ID; | |
101 | } | |
102 | ||
8681db44 GKH |
103 | msg->monitor_page1 = virt_to_phys(vmbus_connection.monitor_pages[0]); |
104 | msg->monitor_page2 = virt_to_phys(vmbus_connection.monitor_pages[1]); | |
b282e4c0 S |
105 | /* |
106 | * We want all channel messages to be delivered on CPU 0. | |
107 | * This has been the behavior pre-win8. This is not | |
108 | * perf issue and having all channel messages delivered on CPU 0 | |
109 | * would be ok. | |
72686447 AN |
110 | * For post win8 hosts, we support receiving channel messagges on |
111 | * all the CPUs. This is needed for kexec to work correctly where | |
112 | * the CPU attempting to connect may not be CPU 0. | |
b282e4c0 | 113 | */ |
54a66265 | 114 | if (version >= VERSION_WIN8_1) { |
41e270f6 DC |
115 | cur_cpu = get_cpu(); |
116 | msg->target_vcpu = hv_cpu_number_to_vp_number(cur_cpu); | |
117 | vmbus_connection.connect_cpu = cur_cpu; | |
118 | put_cpu(); | |
54a66265 | 119 | } else { |
72686447 | 120 | msg->target_vcpu = 0; |
54a66265 S |
121 | vmbus_connection.connect_cpu = 0; |
122 | } | |
610071c3 S |
123 | |
124 | /* | |
125 | * Add to list before we send the request since we may | |
126 | * receive the response before returning from this routine | |
127 | */ | |
128 | spin_lock_irqsave(&vmbus_connection.channelmsg_lock, flags); | |
129 | list_add_tail(&msginfo->msglistentry, | |
130 | &vmbus_connection.chn_msg_list); | |
131 | ||
132 | spin_unlock_irqrestore(&vmbus_connection.channelmsg_lock, flags); | |
133 | ||
134 | ret = vmbus_post_msg(msg, | |
c0bb0392 VK |
135 | sizeof(struct vmbus_channel_initiate_contact), |
136 | true); | |
034ebf55 VK |
137 | |
138 | trace_vmbus_negotiate_version(msg, ret); | |
139 | ||
610071c3 S |
140 | if (ret != 0) { |
141 | spin_lock_irqsave(&vmbus_connection.channelmsg_lock, flags); | |
142 | list_del(&msginfo->msglistentry); | |
143 | spin_unlock_irqrestore(&vmbus_connection.channelmsg_lock, | |
144 | flags); | |
145 | return ret; | |
146 | } | |
147 | ||
148 | /* Wait for the connection response */ | |
269f9794 | 149 | wait_for_completion(&msginfo->waitevent); |
610071c3 S |
150 | |
151 | spin_lock_irqsave(&vmbus_connection.channelmsg_lock, flags); | |
152 | list_del(&msginfo->msglistentry); | |
153 | spin_unlock_irqrestore(&vmbus_connection.channelmsg_lock, flags); | |
154 | ||
155 | /* Check if successful */ | |
156 | if (msginfo->response.version_response.version_supported) { | |
157 | vmbus_connection.conn_state = CONNECTED; | |
ae20b254 DC |
158 | |
159 | if (version >= VERSION_WIN10_V5) | |
160 | vmbus_connection.msg_conn_id = | |
161 | msginfo->response.version_response.msg_conn_id; | |
610071c3 | 162 | } else { |
610071c3 S |
163 | return -ECONNREFUSED; |
164 | } | |
165 | ||
166 | return ret; | |
167 | } | |
168 | ||
3e189519 | 169 | /* |
c6977677 | 170 | * vmbus_connect - Sends a connect request on the partition service connection |
fd8b85ea | 171 | */ |
c6977677 | 172 | int vmbus_connect(void) |
3e7ee490 | 173 | { |
15b2f647 | 174 | struct vmbus_channel_msginfo *msginfo = NULL; |
bedc61a9 | 175 | int i, ret = 0; |
610071c3 | 176 | __u32 version; |
3e7ee490 | 177 | |
454f18a9 | 178 | /* Initialize the vmbus connection */ |
da9fcb72 HZ |
179 | vmbus_connection.conn_state = CONNECTING; |
180 | vmbus_connection.work_queue = create_workqueue("hv_vmbus_con"); | |
181 | if (!vmbus_connection.work_queue) { | |
3a7546d9 | 182 | ret = -ENOMEM; |
b0043863 | 183 | goto cleanup; |
de65a384 | 184 | } |
3e7ee490 | 185 | |
37c2578c DC |
186 | vmbus_connection.handle_primary_chan_wq = |
187 | create_workqueue("hv_pri_chan"); | |
188 | if (!vmbus_connection.handle_primary_chan_wq) { | |
189 | ret = -ENOMEM; | |
190 | goto cleanup; | |
191 | } | |
192 | ||
193 | vmbus_connection.handle_sub_chan_wq = | |
194 | create_workqueue("hv_sub_chan"); | |
195 | if (!vmbus_connection.handle_sub_chan_wq) { | |
196 | ret = -ENOMEM; | |
197 | goto cleanup; | |
198 | } | |
199 | ||
da9fcb72 | 200 | INIT_LIST_HEAD(&vmbus_connection.chn_msg_list); |
15b2f647 | 201 | spin_lock_init(&vmbus_connection.channelmsg_lock); |
3e7ee490 | 202 | |
da9fcb72 | 203 | INIT_LIST_HEAD(&vmbus_connection.chn_list); |
d6f591e3 | 204 | mutex_init(&vmbus_connection.channel_mutex); |
3e7ee490 | 205 | |
454f18a9 BP |
206 | /* |
207 | * Setup the vmbus event connection for channel interrupt | |
208 | * abstraction stuff | |
209 | */ | |
df3493e0 S |
210 | vmbus_connection.int_page = |
211 | (void *)__get_free_pages(GFP_KERNEL|__GFP_ZERO, 0); | |
da9fcb72 | 212 | if (vmbus_connection.int_page == NULL) { |
3a7546d9 | 213 | ret = -ENOMEM; |
b0043863 | 214 | goto cleanup; |
3e7ee490 HJ |
215 | } |
216 | ||
da9fcb72 HZ |
217 | vmbus_connection.recv_int_page = vmbus_connection.int_page; |
218 | vmbus_connection.send_int_page = | |
219 | (void *)((unsigned long)vmbus_connection.int_page + | |
fd8b85ea | 220 | (PAGE_SIZE >> 1)); |
3e7ee490 | 221 | |
fd8b85ea GKH |
222 | /* |
223 | * Setup the monitor notification facility. The 1st page for | |
224 | * parent->child and the 2nd page for child->parent | |
454f18a9 | 225 | */ |
8681db44 GKH |
226 | vmbus_connection.monitor_pages[0] = (void *)__get_free_pages((GFP_KERNEL|__GFP_ZERO), 0); |
227 | vmbus_connection.monitor_pages[1] = (void *)__get_free_pages((GFP_KERNEL|__GFP_ZERO), 0); | |
228 | if ((vmbus_connection.monitor_pages[0] == NULL) || | |
229 | (vmbus_connection.monitor_pages[1] == NULL)) { | |
3a7546d9 | 230 | ret = -ENOMEM; |
b0043863 | 231 | goto cleanup; |
3e7ee490 HJ |
232 | } |
233 | ||
15b2f647 | 234 | msginfo = kzalloc(sizeof(*msginfo) + |
fd8b85ea GKH |
235 | sizeof(struct vmbus_channel_initiate_contact), |
236 | GFP_KERNEL); | |
15b2f647 | 237 | if (msginfo == NULL) { |
8cad0af9 | 238 | ret = -ENOMEM; |
b0043863 | 239 | goto cleanup; |
3e7ee490 HJ |
240 | } |
241 | ||
454f18a9 | 242 | /* |
610071c3 S |
243 | * Negotiate a compatible VMBUS version number with the |
244 | * host. We start with the highest number we can support | |
245 | * and work our way down until we negotiate a compatible | |
246 | * version. | |
454f18a9 | 247 | */ |
3e7ee490 | 248 | |
bedc61a9 AP |
249 | for (i = 0; ; i++) { |
250 | if (i == ARRAY_SIZE(vmbus_versions)) | |
251 | goto cleanup; | |
252 | ||
253 | version = vmbus_versions[i]; | |
931cccc9 AP |
254 | if (version > max_version) |
255 | continue; | |
3e7ee490 | 256 | |
610071c3 | 257 | ret = vmbus_negotiate_version(msginfo, version); |
8bbf9f44 | 258 | if (ret == -ETIMEDOUT) |
666b9adc S |
259 | goto cleanup; |
260 | ||
261 | if (vmbus_connection.conn_state == CONNECTED) | |
610071c3 | 262 | break; |
bedc61a9 | 263 | } |
3e7ee490 | 264 | |
37f7278b | 265 | vmbus_proto_version = version; |
8de8af7e S |
266 | pr_info("Vmbus version:%d.%d\n", |
267 | version >> 16, version & 0xFFFF); | |
3bacaf0c | 268 | |
15b2f647 | 269 | kfree(msginfo); |
3e7ee490 HJ |
270 | return 0; |
271 | ||
b0043863 | 272 | cleanup: |
3bacaf0c | 273 | pr_err("Unable to connect to host\n"); |
09a19628 | 274 | |
da9fcb72 | 275 | vmbus_connection.conn_state = DISCONNECTED; |
09a19628 VK |
276 | vmbus_disconnect(); |
277 | ||
278 | kfree(msginfo); | |
279 | ||
280 | return ret; | |
281 | } | |
3e7ee490 | 282 | |
09a19628 VK |
283 | void vmbus_disconnect(void) |
284 | { | |
2db84eff S |
285 | /* |
286 | * First send the unload request to the host. | |
287 | */ | |
75ff3a8a | 288 | vmbus_initiate_unload(false); |
2db84eff | 289 | |
37c2578c DC |
290 | if (vmbus_connection.handle_sub_chan_wq) |
291 | destroy_workqueue(vmbus_connection.handle_sub_chan_wq); | |
292 | ||
293 | if (vmbus_connection.handle_primary_chan_wq) | |
294 | destroy_workqueue(vmbus_connection.handle_primary_chan_wq); | |
295 | ||
296 | if (vmbus_connection.work_queue) | |
da9fcb72 | 297 | destroy_workqueue(vmbus_connection.work_queue); |
3e7ee490 | 298 | |
da9fcb72 | 299 | if (vmbus_connection.int_page) { |
df3493e0 | 300 | free_pages((unsigned long)vmbus_connection.int_page, 0); |
da9fcb72 | 301 | vmbus_connection.int_page = NULL; |
3e7ee490 HJ |
302 | } |
303 | ||
a100d88d RK |
304 | free_pages((unsigned long)vmbus_connection.monitor_pages[0], 0); |
305 | free_pages((unsigned long)vmbus_connection.monitor_pages[1], 0); | |
8681db44 GKH |
306 | vmbus_connection.monitor_pages[0] = NULL; |
307 | vmbus_connection.monitor_pages[1] = NULL; | |
3e7ee490 HJ |
308 | } |
309 | ||
3e189519 | 310 | /* |
c6977677 HZ |
311 | * relid2channel - Get the channel object given its |
312 | * child relative id (ie channel id) | |
fd8b85ea | 313 | */ |
d43e2fe7 | 314 | struct vmbus_channel *relid2channel(u32 relid) |
3e7ee490 | 315 | { |
aded7165 | 316 | struct vmbus_channel *channel; |
15b2f647 | 317 | struct vmbus_channel *found_channel = NULL; |
e68d2971 S |
318 | struct list_head *cur, *tmp; |
319 | struct vmbus_channel *cur_sc; | |
3e7ee490 | 320 | |
85d9aa70 DC |
321 | BUG_ON(!mutex_is_locked(&vmbus_connection.channel_mutex)); |
322 | ||
da9fcb72 | 323 | list_for_each_entry(channel, &vmbus_connection.chn_list, listentry) { |
15b2f647 HZ |
324 | if (channel->offermsg.child_relid == relid) { |
325 | found_channel = channel; | |
3e7ee490 | 326 | break; |
e68d2971 S |
327 | } else if (!list_empty(&channel->sc_list)) { |
328 | /* | |
329 | * Deal with sub-channels. | |
330 | */ | |
331 | list_for_each_safe(cur, tmp, &channel->sc_list) { | |
332 | cur_sc = list_entry(cur, struct vmbus_channel, | |
333 | sc_list); | |
334 | if (cur_sc->offermsg.child_relid == relid) { | |
335 | found_channel = cur_sc; | |
336 | break; | |
337 | } | |
338 | } | |
3e7ee490 HJ |
339 | } |
340 | } | |
3e7ee490 | 341 | |
15b2f647 | 342 | return found_channel; |
3e7ee490 HJ |
343 | } |
344 | ||
3e189519 | 345 | /* |
631e63a9 | 346 | * vmbus_on_event - Process a channel event notification |
ada6eb11 SH |
347 | * |
348 | * For batched channels (default) optimize host to guest signaling | |
349 | * by ensuring: | |
350 | * 1. While reading the channel, we disable interrupts from host. | |
351 | * 2. Ensure that we process all posted messages from the host | |
352 | * before returning from this callback. | |
353 | * 3. Once we return, enable signaling from the host. Once this | |
354 | * state is set we check to see if additional packets are | |
355 | * available to read. In this case we repeat the process. | |
356 | * If this tasklet has been running for a long time | |
357 | * then reschedule ourselves. | |
fd8b85ea | 358 | */ |
631e63a9 | 359 | void vmbus_on_event(unsigned long data) |
3e7ee490 | 360 | { |
631e63a9 | 361 | struct vmbus_channel *channel = (void *) data; |
ada6eb11 | 362 | unsigned long time_limit = jiffies + 2; |
3e7ee490 | 363 | |
991f8f1c VK |
364 | trace_vmbus_on_event(channel); |
365 | ||
ada6eb11 SH |
366 | do { |
367 | void (*callback_fn)(void *); | |
368 | ||
369 | /* A channel once created is persistent even when | |
370 | * there is no driver handling the device. An | |
371 | * unloading driver sets the onchannel_callback to NULL. | |
f878f3d5 | 372 | */ |
ada6eb11 SH |
373 | callback_fn = READ_ONCE(channel->onchannel_callback); |
374 | if (unlikely(callback_fn == NULL)) | |
375 | return; | |
f878f3d5 | 376 | |
ada6eb11 SH |
377 | (*callback_fn)(channel->channel_callback_context); |
378 | ||
379 | if (channel->callback_mode != HV_CALL_BATCHED) | |
380 | return; | |
381 | ||
382 | if (likely(hv_end_read(&channel->inbound) == 0)) | |
383 | return; | |
384 | ||
385 | hv_begin_read(&channel->inbound); | |
386 | } while (likely(time_before(jiffies, time_limit))); | |
387 | ||
388 | /* The time limit (2 jiffies) has been reached */ | |
389 | tasklet_schedule(&channel->callback_event); | |
3e7ee490 HJ |
390 | } |
391 | ||
3e189519 | 392 | /* |
c6977677 | 393 | * vmbus_post_msg - Send a msg on the vmbus's message connection |
fd8b85ea | 394 | */ |
c0bb0392 | 395 | int vmbus_post_msg(void *buffer, size_t buflen, bool can_sleep) |
3e7ee490 | 396 | { |
ae20b254 | 397 | struct vmbus_channel_message_header *hdr; |
15b2f647 | 398 | union hv_connection_id conn_id; |
5289d3d1 S |
399 | int ret = 0; |
400 | int retries = 0; | |
8de0d7e9 | 401 | u32 usec = 1; |
3e7ee490 | 402 | |
15b2f647 | 403 | conn_id.asu32 = 0; |
ae20b254 | 404 | conn_id.u.id = vmbus_connection.msg_conn_id; |
5289d3d1 S |
405 | |
406 | /* | |
407 | * hv_post_message() can have transient failures because of | |
408 | * insufficient resources. Retry the operation a couple of | |
409 | * times before giving up. | |
410 | */ | |
c0bb0392 | 411 | while (retries < 100) { |
fdeebcc6 S |
412 | ret = hv_post_message(conn_id, 1, buffer, buflen); |
413 | ||
414 | switch (ret) { | |
89f9f679 | 415 | case HV_STATUS_INVALID_CONNECTION_ID: |
ae20b254 DC |
416 | /* |
417 | * See vmbus_negotiate_version(): VMBus protocol 5.0 | |
2d4f49b3 | 418 | * and higher require that we must use |
ae20b254 DC |
419 | * VMBUS_MESSAGE_CONNECTION_ID_4 for the Initiate |
420 | * Contact message, but on old hosts that only | |
421 | * support VMBus protocol 4.0 or lower, here we get | |
422 | * HV_STATUS_INVALID_CONNECTION_ID and we should | |
423 | * return an error immediately without retrying. | |
424 | */ | |
89760937 | 425 | hdr = buffer; |
ae20b254 DC |
426 | if (hdr->msgtype == CHANNELMSG_INITIATE_CONTACT) |
427 | return -EINVAL; | |
89f9f679 DC |
428 | /* |
429 | * We could get this if we send messages too | |
430 | * frequently. | |
431 | */ | |
432 | ret = -EAGAIN; | |
433 | break; | |
434 | case HV_STATUS_INSUFFICIENT_MEMORY: | |
fdeebcc6 | 435 | case HV_STATUS_INSUFFICIENT_BUFFERS: |
48f4ccdf | 436 | ret = -ENOBUFS; |
fdeebcc6 S |
437 | break; |
438 | case HV_STATUS_SUCCESS: | |
5289d3d1 | 439 | return ret; |
fdeebcc6 S |
440 | default: |
441 | pr_err("hv_post_msg() failed; error code:%d\n", ret); | |
442 | return -EINVAL; | |
443 | } | |
444 | ||
5289d3d1 | 445 | retries++; |
c0bb0392 VK |
446 | if (can_sleep && usec > 1000) |
447 | msleep(usec / 1000); | |
448 | else if (usec < MAX_UDELAY_MS * 1000) | |
449 | udelay(usec); | |
450 | else | |
451 | mdelay(usec / 1000); | |
452 | ||
e917a5e2 | 453 | if (retries < 22) |
8de0d7e9 | 454 | usec *= 2; |
5289d3d1 S |
455 | } |
456 | return ret; | |
3e7ee490 HJ |
457 | } |
458 | ||
3e189519 | 459 | /* |
c6977677 | 460 | * vmbus_set_event - Send an event notification to the parent |
fd8b85ea | 461 | */ |
1b807e10 | 462 | void vmbus_set_event(struct vmbus_channel *channel) |
3e7ee490 | 463 | { |
21c3bef5 | 464 | u32 child_relid = channel->offermsg.child_relid; |
7c369f40 | 465 | |
5c1bec61 SH |
466 | if (!channel->is_dedicated_interrupt) |
467 | vmbus_send_interrupt(child_relid); | |
3be77774 | 468 | |
6981fbf3 SH |
469 | ++channel->sig_events; |
470 | ||
05784171 | 471 | hv_do_fast_hypercall8(HVCALL_SIGNAL_EVENT, channel->sig_event); |
3e7ee490 | 472 | } |
5cc47247 | 473 | EXPORT_SYMBOL_GPL(vmbus_set_event); |