4844cffe0a9aaeff9007cded56c218d388a69289vboxsync/* $Id$ */
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync/** @file
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync * DTracing VBox - vmexit reason aggregation test \#1.
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync */
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync/*
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync * Copyright (C) 2012-2015 Oracle Corporation
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync *
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync * This file is part of VirtualBox Open Source Edition (OSE), as
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync * available from http://www.virtualbox.org. This file is free software;
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync * you can redistribute it and/or modify it under the terms of the GNU
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync * General Public License (GPL) as published by the Free Software
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync * Foundation, in version 2 as it comes in the "COPYING" file of the
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync * VirtualBox OSE distribution. VirtualBox OSE is distributed in the
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync * hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync */
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync#pragma D option quiet
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync
4844cffe0a9aaeff9007cded56c218d388a69289vboxsyncvboxvmm:::r0-hmsvm-vmexit
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync{
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync @g_aSvmExits[args[2]] = count();
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync}
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync
4844cffe0a9aaeff9007cded56c218d388a69289vboxsyncvboxvmm:::r0-hmvmx-vmexit-noctx
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync{
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync @g_aVmxExits[args[2]] = count();
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync}
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync
4844cffe0a9aaeff9007cded56c218d388a69289vboxsyncEND
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync{
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync printa(" svmexit=%#04llx %@10u times\n", @g_aSvmExits);
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync printa(" vmxexit=%#04llx %@10u times\n", @g_aVmxExits);
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync}
4844cffe0a9aaeff9007cded56c218d388a69289vboxsync