int-1.d revision 13080fa6a2040179c8c24cee6d48c4c8d08686f7
b4d35dedda4bab414ab7dbd94dde4587bd8168e7vboxsync * DTracing VBox - Interrupt Experiment #1.
b4d35dedda4bab414ab7dbd94dde4587bd8168e7vboxsync * Copyright (C) 2012 Oracle Corporation
b4d35dedda4bab414ab7dbd94dde4587bd8168e7vboxsync * This file is part of VirtualBox Open Source Edition (OSE), as
b4d35dedda4bab414ab7dbd94dde4587bd8168e7vboxsync * available from http://www.virtualbox.org. This file is free software;
b4d35dedda4bab414ab7dbd94dde4587bd8168e7vboxsync * you can redistribute it and/or modify it under the terms of the GNU
b4d35dedda4bab414ab7dbd94dde4587bd8168e7vboxsync * General Public License (GPL) as published by the Free Software
b4d35dedda4bab414ab7dbd94dde4587bd8168e7vboxsync * Foundation, in version 2 as it comes in the "COPYING" file of the
b4d35dedda4bab414ab7dbd94dde4587bd8168e7vboxsync * VirtualBox OSE distribution. VirtualBox OSE is distributed in the
b4d35dedda4bab414ab7dbd94dde4587bd8168e7vboxsync * hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
b4d35dedda4bab414ab7dbd94dde4587bd8168e7vboxsyncunsigned int g_cHits;
13080fa6a2040179c8c24cee6d48c4c8d08686f7vboxsync /*printf("high: tag=%#x src=%d %llx -> %llx\n", args[1], args[2], g_aStarts[args[1]], timestamp);*/
13080fa6a2040179c8c24cee6d48c4c8d08686f7vboxsync /*printf("get: tag=%#x src=%d %llx - %llx = %llx\n", args[1], args[2], timestamp, g_aStarts[args[1]], timestamp - g_aStarts[args[1]]);*/
b4d35dedda4bab414ab7dbd94dde4587bd8168e7vboxsync @dispavg[args[3]] = avg(timestamp - g_aStarts[args[1]]);
b4d35dedda4bab414ab7dbd94dde4587bd8168e7vboxsync @dispmax[args[3]] = max(timestamp - g_aStarts[args[1]]);