};

#pragma D attributes Evolving/Evolving/Common provider vboxapi provider
#pragma D attributes Private/Private/Unknown  provider vboxapi module
#pragma D attributes Private/Private/Unknown  provider vboxapi function
#pragma D attributes Evolving/Evolving/Common provider vboxapi name
#pragma D attributes Evolving/Evolving/Common provider vboxapi args