From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id ECAE14BC013 for ; Tue, 12 May 2026 09:31:18 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=170.10.133.124 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1778578280; cv=none; b=fX+zV7OGqYfLP0TDcdGTQExyLov8eB1O1bCgffSrHym3DO5PGdS59R+GE9AKM5lEeRlLjGbi60mIDk4br0AVZSz1TkqxALyAJ0xF+zzT4gT+Iz58/krx8AuEQ/Rkhe1ME9k+PD0DjRFA5EeBUW56CWuOhRMxfMFalVDxxnKU2wA= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1778578280; c=relaxed/simple; bh=6qrbtc6bbX01KsYYIZN3YhSzoAUf4nKsSCfs8fCsYQI=; h=Message-ID:Subject:From:To:Cc:Date:In-Reply-To:References: Content-Type:MIME-Version; b=fGyCYpFiPucxSiTss3FETJ++AlnKt5GS+fp9BtX2Paa+kcy3dZzKlgYkuU12FixngbxJHEZeqfcL8cWv/ohsbWDsXxoahRUHam/SimuHp69d6lYtuF1ZHO5VDibZzEbqXB1TzfZ8/drTDMP9LYsqHWu36ITYwHU9V+XhFyohxLY= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com; spf=pass smtp.mailfrom=redhat.com; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b=DAXwjVGS; dkim=pass (2048-bit key) header.d=redhat.com header.i=@redhat.com header.b=S9VGIeVp; arc=none smtp.client-ip=170.10.133.124 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=redhat.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b="DAXwjVGS"; dkim=pass (2048-bit key) header.d=redhat.com header.i=@redhat.com header.b="S9VGIeVp" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1778578278; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:autocrypt:autocrypt; bh=6qrbtc6bbX01KsYYIZN3YhSzoAUf4nKsSCfs8fCsYQI=; b=DAXwjVGSDNl5kiZgiyv089Raj5qT+PvZaWdobsZjjANEojIehQohEUgX5uUu4Lw54DI5wh d7OPF4J4hl6hogbj34IdQl9K2ezxPnkjWEht5mD3LjsAM0B0JecYDDf+2P3Gqr2NIEaCyO JdFuaiWOEsP6F0qws2UUGT0TJQaXjYo= Received: from mail-wm1-f72.google.com (mail-wm1-f72.google.com [209.85.128.72]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-470-uT0tCFlRNv-PKtgBdypzAA-1; Tue, 12 May 2026 05:31:16 -0400 X-MC-Unique: uT0tCFlRNv-PKtgBdypzAA-1 X-Mimecast-MFC-AGG-ID: uT0tCFlRNv-PKtgBdypzAA_1778578275 Received: by mail-wm1-f72.google.com with SMTP id 5b1f17b1804b1-48a5952c635so60028325e9.2 for ; Tue, 12 May 2026 02:31:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=google; t=1778578275; x=1779183075; darn=vger.kernel.org; h=mime-version:user-agent:content-transfer-encoding:autocrypt :references:in-reply-to:date:cc:to:from:subject:message-id:from:to :cc:subject:date:message-id:reply-to; bh=6qrbtc6bbX01KsYYIZN3YhSzoAUf4nKsSCfs8fCsYQI=; b=S9VGIeVpxQBiLwSrs/7t/SU0c4ow9lu1ygJBM0zuQV340oO0RHCnNwKLq+e/u+Qf6v s/W/WW9nWtjgGTg+ckcOCx3AUjhbvPFLrLStq8qCTM0THtSepq/HuKds7SU+qgzEsmRZ s75zfrF24PySo3Qrqoioxf8R/7OOtjUrPECL2JvTn4lLC/OqRDvFODL83JxTgWp7bLdd SUZVoip99BUKlDKYAX7tXk8m0AAESdxgQ4AffI2wyd8fdL8uc5Wprsw6o8EvhT/cxZ+X xNhOSwHREs7CX4eDgGeKGluaTFMRFG/ahC5fEVDKxL9NqCc4o9OtP8rqmnb/DYwgFBVC 7Wkw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1778578275; x=1779183075; h=mime-version:user-agent:content-transfer-encoding:autocrypt :references:in-reply-to:date:cc:to:from:subject:message-id:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=6qrbtc6bbX01KsYYIZN3YhSzoAUf4nKsSCfs8fCsYQI=; b=fimKuHRIIcDk9SSmnpCbV4HdmAlPuGh8GfadNt/SQA8SQ05nHHJKNAw4/eqtI+rsRn NPG8yMXo6lx9HdIpkJMiNeCK1RJmM6eiJKjC/xF9DDaYMbjEZE9AXneQfjnoNJRwbYVW tQwtWzyE4SRvd/TaJ6MT7nX19+yIlxqNErfyFo08XThvqDvj4ms66KuKmWfDE6o6Mf1m Xv7EU70WLRce9Y7T0ib+2KzkUaVoxDI90BSFjBrJsmlHAh1xsg4fQ/a5STIosdUcpju7 WDxx6cAengSkX6mTNV4Du/Z8r28Rl0HoXkPRB84IVTFE6x4vrxYZYZ8IVdiMlTyoEg33 lG+w== X-Forwarded-Encrypted: i=1; AFNElJ8JJlATolZoCOrjrdXqT6NWMObAxoILJXFQodVz1ZKu1KXS+SK+Uo1bSpCzAspORUa47EwzAxey6d7TgyU=@vger.kernel.org X-Gm-Message-State: AOJu0Ywq5vrNV2uPxoLGui6QTsbguKJ9uMuOcg04Y8Y5xtsj/oVQsblD 6nxZrCLVgUG966P415J84Az1XxbJ5rdR2gue+z25YL03bZIlA3AMsOayp2DMf7K2xo+5gNeSKAx oxoZdCzF9arreCY5g6IOr9/TAjN0fLh0oOPIZrxrXeaG0AM1avfNlz0TaD/A+AJjTfg== X-Gm-Gg: Acq92OF7lwVMrysi9BuZNyALHQYcvQOS1bKsOnUHVqTzCd8+pwWFu1KFEXt1ea1z375 s0AD+dECOFiZsLp729h3096GfiAIaC0Zg7791r114DxY1pegqO3f7NeNExl5AQZQ/qud5z6SgX9 IhIldr3gv/IP5foq/HGAIbu5V8aAsQ08fymiEU6FyVmKXq1wAGkvn4+KF70DzisRYynzu304VCi 7HA3tiK1Gg4K6y6P8aqxn4/AGjQjWO08n4X5uw31IuZzqABTdHaAnKPJSTeZ11KaVN8pg1aexM6 IZV02SGvRbN7d0eUlMzHMBAcR8gntJMOW8bkQpxanOeGf4A4WLFg6Vzyj25GZcXsuybCwNmyhmG EJKXqrDOhvFfn4YrYJpkqITJtr5+ACEjCeyhGTgWsoDfzoxedQGtQSf8I/FmTAU9fVigezGJcUe CNf1a4LUvSU+bkDTI= X-Received: by 2002:a05:600c:46d2:b0:485:364e:9328 with SMTP id 5b1f17b1804b1-48e51f32aebmr401697125e9.16.1778578275310; Tue, 12 May 2026 02:31:15 -0700 (PDT) X-Received: by 2002:a05:600c:46d2:b0:485:364e:9328 with SMTP id 5b1f17b1804b1-48e51f32aebmr401696805e9.16.1778578274827; Tue, 12 May 2026 02:31:14 -0700 (PDT) Received: from gmonaco-thinkpadt14gen3.rmtit.csb (212-8-243-115.hosted-by-worldstream.net. [212.8.243.115]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-48e8e7491edsm15674655e9.13.2026.05.12.02.31.13 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 12 May 2026 02:31:14 -0700 (PDT) Message-ID: Subject: Re: [PATCH 07/13] rv: Simply hybrid automata monitors's clock variables From: Gabriele Monaco To: Nam Cao Cc: Steven Rostedt , Wander Lairson Costa , linux-trace-kernel@vger.kernel.org, linux-kernel@vger.kernel.org Date: Tue, 12 May 2026 11:31:12 +0200 In-Reply-To: <87wlxaupmz.fsf@yellow.woof> References: <967f1cd8cd6e27aaa65d68194487306bc312caa0.camel@redhat.com> <87wlxaupmz.fsf@yellow.woof> Autocrypt: addr=gmonaco@redhat.com; prefer-encrypt=mutual; keydata=mDMEZuK5YxYJKwYBBAHaRw8BAQdAmJ3dM9Sz6/Hodu33Qrf8QH2bNeNbOikqYtxWFLVm0 1a0JEdhYnJpZWxlIE1vbmFjbyA8Z21vbmFjb0BrZXJuZWwub3JnPoiZBBMWCgBBFiEEysoR+AuB3R Zwp6j270psSVh4TfIFAmjKX2MCGwMFCQWjmoAFCwkIBwICIgIGFQoJCAsCBBYCAwECHgcCF4AACgk Q70psSVh4TfIQuAD+JulczTN6l7oJjyroySU55Fbjdvo52xiYYlMjPG7dCTsBAMFI7dSL5zg98I+8 cXY1J7kyNsY6/dcipqBM4RMaxXsOtCRHYWJyaWVsZSBNb25hY28gPGdtb25hY29AcmVkaGF0LmNvb T6InAQTFgoARAIbAwUJBaOagAULCQgHAgIiAgYVCgkICwIEFgIDAQIeBwIXgBYhBMrKEfgLgd0WcK eo9u9KbElYeE3yBQJoymCyAhkBAAoJEO9KbElYeE3yjX4BAJ/ETNnlHn8OjZPT77xGmal9kbT1bC1 7DfrYVISWV2Y1AP9HdAMhWNAvtCtN2S1beYjNybuK6IzWYcFfeOV+OBWRDQ== Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: base64 User-Agent: Evolution 3.60.1 (3.60.1-1.fc44) Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 CgpPbiBNb24sIDIwMjYtMDUtMTEgYXQgMTM6NTUgKzAyMDAsIE5hbSBDYW8gd3JvdGU6Cj4gR2Fi cmllbGUgTW9uYWNvIDxnbW9uYWNvQHJlZGhhdC5jb20+IHdyaXRlczoKPiA+IFdlbGwsIHRoaXMg aXMgcm91Z2hseSB3aGF0IHdlIGRpc2N1c3NlZCBpbiBbMV0uCj4gPiBOb3csIEkgZGlkbid0IHN1 Ym1pdCB0aGUgdGhyb3R0bGUgbW9uaXRvciB5ZXQgYmVjYXVzZSBpdCBkZXBlbmRzIG9uIHVuYWNr ZWQKPiA+IHRyYWNlcG9pbnRzLgo+IAo+IFRoYW5rcyBmb3IgYnJpbmdpbmcgdGhhdCB1cC4gSSBo YWQgbm8gbWVtb3J5IG9mIHRoYXQgZGlzY3Vzc2lvbi4KPiAKPiA+IEluIHNob3J0LCB0aGlzIHdv cmtzIHdpdGggdGhlIGFzc3VtcHRpb24gdGhhdCB0aGUgZXhwaXJlcyB2YWx1ZSB5b3UgcGFzcyB0 bwo+ID4gaGFfY2hlY2tfaW52YXJpYW50KCkgaXMgdGhlIHNhbWUgeW91IHVzZWQgdG8gYXJtIHRo ZSB0aW1lci4KPiA+IAo+ID4gVGhhdCdzIHRydWUgZm9yIGNvbnN0YW50IHZhbHVlcyBvbmx5ICh0 aGUgZGVhZGxpbmUpIGJ1dCBub3QgZm9yIHNvbWV0aGluZwo+ID4gbGlrZQo+ID4gdGhlIHJ1bnRp bWUuIEkgY291bGRuJ3QgdGhpbmsgb2YgYSB3YXkgdG8gcmVhcnJhbmdlIHRoYXQgbW9kZWwgbm90 IHRvCj4gPiByZXF1aXJlCj4gPiB0aGUgcnVudGltZSBsZWZ0IGZpZWxkLgo+IAo+IEkgYmVsaWV2 ZSB5b3UgYXJlIHJlZmVycmluZyB0byB0aGlzOgo+IAo+IMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCB8Cj4gwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgIHwKPiDCoMKgwqDCoMKgIGRsX3JlcGxlbmlzaDtyZXNldChjbGspwqDCoMKg wqDCoMKgwqAgdgo+IMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIHNjaGVkX3N3aXRjaF9pbsKg wqAgIz09PT09PT09PT09PT09PT09PT09PT09PT0jIHNjaGVkX3N3aXRjaF9pbjsKPiDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgICstLS0tLS0tLS0tLS0tLS0gSMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBIwqDCoCByZXNldChjbGspCj4gwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoCB8wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIEjC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgSCA8LS0tLS0t LS0tLS0tLS0tLSsKPiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgICstLS0tLS0tLS0tLS0t LT4gSMKgwqDCoMKgwqDCoMKgwqAgcnVubmluZ8KgwqDCoMKgwqDCoMKgwqAgSMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgfAo+IMKgwqDCoCBkbF90aHJvdHRsZTtyZXNldChjbGsp wqDCoMKgwqDCoCBIIGNsayA8IHJ1bnRpbWVfbGVmdF9ucygpIEjCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgIHwKPiDCoMKgICstLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0gSMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBIIHNjaGVkX3N3 aXRjaF9vdXQgfAo+IMKgwqAgfMKgwqDCoMKgwqDCoCArLS0tLS0tLS0tLS0tLS0tLS0tPiBIwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIEggLS0tLS0tLS0t LS0tLSvCoMKgIHwKPiDCoMKgIHwgZGxfcmVwbGVuaXNoO3Jlc2V0KGNsaynCoMKgwqAgIz09PT09 PT09PT09PT09PT09PT09PT09PT0jwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgfMKgwqAgfAo+ IMKgwqAgfMKgwqDCoMKgwqDCoCB8wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgIHzCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgXsKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgfMKgwqAgfAo+IMKgwqAgdsKgwqDCoMKgwqDCoCB8wqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBkbF9kZWZlcl9hcm3CoMKgwqDCoMKgwqDC oMKgIHzCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIHzCoMKgIHwKPiAK PiBOb3cgdGhhdCBJIHN0YXJlZCBhdCB0aGlzIGFnYWluLCBJIHRoaW5rIHdlIGFscmVhZHkgZGV2 aWF0ZSBmcm9tIHRoZW9yeQo+IGhlcmUuIE91ciBkb2N1bWVudGF0aW9uIG1lbnRpb25zIHRoYXQg dGhlIGludmFyaWFudCBtdXN0IGJlIGluIHRoZSBmb3JtCj4gCj4gwqDCoMKgwqDCoMKgwqAgZyA9 IHYgPCBjIHwgdHJ1ZQo+IAo+IHdpdGggImMgW2JlaW5nXSBhIG51bWVyaWNhbCB2YWx1ZSIuCj4g Cj4gVGhlIGludmFyaWFudCAiY2xrIDwgcnVudGltZV9sZWZ0X25zKCkiIG1lYW5zIGNsayBtdXN0 IG5vdCBleGNlZWQgdGhlCj4gcmVtYWluaW5nIHJ1bnRpbWUsIHdoaWNoIGlzIHNhbXBsZWQgYnkg Y2FsbGluZyBydW50aW1lX2xlZnRfbnMoKSB3aGVuCj4gdGhlIHN0YXRlIGlzIGVudGVyZWQuIFRo aXMgaXMgbm90IGluIHRoZSB0aGVvcnkuIEFkZGl0aW9uYWxseSwgSSB0aGluawo+IHRoaXMgaW50 ZXJwcmV0YXRpb24gaXMgYW1iaWd1b3VzOyBvbmUgY291bGQgYWxzbyBpbnRlcnByZXQgdGhhdCBh cyAidGhlCj4gY2xrIHZhbHVlIG11c3QgbmV2ZXIgZXhjZWVkIHRoZSAqY3VycmVudCogdmFsdWUg cmV0dXJuZWQgYnkKPiBydW50aW1lX2xlZnRfbnMoKSIuCgpXZWxsLCB0aGF0J3MgYSBmYWlyIHBv aW50LiBVc2luZyBmdW5jdGlvbnMgaGVyZSBpcyBraW5kIG9mIHB1c2hpbmcgaXQsIGJ1dCBpZiB3 ZQphc3N1bWUgdGhlIHJ1bnRpbWUgY29uc3RhbnQgZm9yIHRoZSBkdXJhdGlvbiBvZiB0aGUgaW52 YXJpYW50ICh3aGljaCBpcyB3aGF0CmhhcHBlbnMgaW4gcHJhY3RpY2UpLCBJIGRvbid0IHNlZSB0 aGF0IGh1Z2UgZGlmZmVyZW5jZS4gVGhlbiBzdXJlLCBJJ20gc3RpbGwKdHdpc3RpbmcgdGhlIHRo ZW9yeSBoZXJlLgoKQnV0IHRoYXQncyByaWdodCwgaXQncyBxdWl0ZSBhbWJpZ3VvdXMuIFRoZSBm dW5jdGlvbiBpcyB0ZWNobmljYWxseSBzeW50YWN0aWMKc3VnYXIgaW4gUlYgdG8gYWxsb3cgbW9u aXRvci1zcGVjaWZpYyB2YWx1ZXMsIEkgc2hvdWxkIHByb2JhYmx5IG1ha2UgaXQgY2xlYXIgaXQK ZG9lc24ndCBtYWtlIGl0IGEgZHluYW1pYyB2YWx1ZSAoYXQgbGVhc3Qgd2l0aGluIHRoZSBzYW1l IGNvbnN0cmFpbnQKdmFsaWRhdGlvbikuCgo+IEkgZGlnZ2VkIGludG8gdGhlIGNpdGVkIGFjYWRl bWljIHBhcGVycywgYnV0IGNvdWxkbid0IGZpbmQgYW55dGhpbmcgdGhhdAo+IGNhbiBkZXNjcmli ZSB0aGlzLiBUaGUgY2xvc2VzdCBJIHNlZSBpcyB0aGUgImluaXQiIGxhYmVsIGZvciBzdGF0ZXMs IGJ1dAo+IHRoYXQgaXMgdGhlIGNvbmRpdGlvbiBmb3IgZW50ZXJpbmcgdGhlIHN0YXRlcy4KPiAK PiA+IE90aGVyd2lzZS4uIFdlIGNvdWxkIHJlYWQgdGhlIHJlbWFpbmluZyB0aW1lIGluIHRoZSB0 aW1lciwgYnV0IHdlIHdvdWxkbid0Cj4gPiBiZQo+ID4gYWJsZSB0byBzaW11bGF0ZSBucyBwcmVj aXNpb24gd2hlbiB1c2luZyB0aGUgdGltZXIgd2hlZWwuCj4gPiAKPiA+IE5vdyBpZiB3ZSByZWFs bHkgd2FudGVkIHRvIGdvIGRvd24gdGhhdCBwYXRoLCB3ZSBhcmUgdXNpbmcgYSB1bmlvbiB0bwo+ ID4gYWxsb2NhdGUKPiA+IGVpdGhlciB0aW1lciBvciBocnRpbWVyLCB0aGUgbGF0dGVyIGlzIGxh cmdlciwgc28gd2UgL2NvdWxkLyBhZGQgYSB1NjQKPiA+IGV4cGlyZV9ucwo+ID4gZmllbGQgdG8g dGhlIGhhX21vbml0b3Igc3RydWN0IHdpdGhvdXQgbmVlZGluZyBhZGRpdGlvbmFsIG1lbW9yeS4K PiA+IAo+ID4gSWYgdGhhdCBkb2Vzbid0IHNvdW5kIHRvbyB3aWxkIHRvIHlvdSwgSSBtYXkgdHJ5 IGFuZCBza2V0Y2ggc29tZXRoaW5nIHVwIHRvCj4gPiBzZWUKPiA+IGlmIHRoYXQncyB2aWFibGUu IFRoZW4gdGhpcyBwYXRjaCBjb3VsZCBnbyB0aHJvdWdoIGFzIGlzIGFuZCBJIHdvdWxkIGFkZCB0 aGUKPiA+IGV4dGVuc2lvbiB0b2dldGhlciB3aXRoIHRoZSBzdWJtaXNzaW9uIG9mIHRocm90dGxl Lgo+IAo+IFRoYXQgY2FuIHdvcmssIGJ1dCBub3QgaWRlYWwsIGJlY2F1c2UgaHJ0aW1lciB3aWxs IG5vdCBiZSB1c2FibGUuCgpXaHkgbm90PyBJZiB3ZSBoYXZlIEhBX1RJTUVSX1dIRUVMICwgd2Un ZCB1c2UgdGltZXIgYW5kIGV4cGlyZSwgaWYgd2UgaGF2ZQpIQV9USU1FUl9IUlRJTUVSIHdlJ2Qg b25seSBuZWVkIGhydGltZXIgd2l0aCBpdCdzIGhydGltZXJfZ2V0X2V4cGlyZXMoKToKCiB1bmlv biB7CiBzdHJ1Y3QgaHJ0aW1lciBocnRpbWVyOwogc3RydWN0IHsKIHN0cnVjdCB0aW1lcl9saXN0 IHRpbWVyOwogdTY0IGV4cGlyZTsgLyogRXhwbGljaXRseSBzdG9yZSB0aGUgYXJtZWQgYnVkZ2V0 ICovCiB9OwoKd2UgYWxyZWFkeSBjYW4ndCB1c2UgdGltZXIgYW5kIGhydGltZXIgaW50ZXJjaGFu Z2VhYmx5LgpXaGF0IGFtIEkgbWlzc2luZyBoZXJlPwoKPiBMb29raW5nIGF0IHRoZSB0aHJvdHRs ZSBtb25pdG9yIGFnYWluLCBpcyBpdCBwb3NzaWJsZSB0byByZXdyaXRlCj4gcnVudGltZV9sZWZ0 X25zKCkgdG8gcmVhZCAuZGxfcnVudGltZSBpbnN0ZWFkIG9mIC5ydW50aW1lPyBJIGRvbid0IGtu b3cKPiB0aGUgZGVhZGxpbmUgc2NoZWR1bGUgdmVyeSB3ZWxsLCBidXQgSSB0aGluayAuZGxfcnVu dGltZSBpcyBub3QgY2hhbmdpbmcKPiBsaWtlIC5ydW50aW1lPwoKSW4gdGhlb3J5IHllcywgYnV0 IHNpbmNlIHRoZSBydW50aW1lIGlzIGNvbnN1bWVkIG9ubHkgd2hlbiBydW5uaW5nLCB3ZSBjYW5u b3QKanVzdCBzZXQgdGhlIHRpbWVvdXQgb25jZS4gV2UgZWl0aGVyIHNhdmUgaG93IG11Y2ggd2Fz IGNvbnN1bWVkIHNvbWV3aGVyZSBvciBkbwpzb21lIHN0YXJ0L3BhdXNlIG1lY2hhbmlzbS4KTmVp dGhlciBsb29rcyBzaW1wbGVyIHRvIG1lLgoKVGhhbmtzLApHYWJyaWVsZQo=