/* $Id: ckeyDst_void.c 55401 2015-04-23 10:03:17Z vboxsync $ */
void vboxCKeyDst(void)
{
}