/* $Id: ckeyDst_void.c 71027 2018-02-15 14:33:48Z vboxsync $ */
void vboxCKeyDst(void)
{
}