static int __init hdmitx_hdcp_init(void)
{
    hdmitx_dev_t *hdmitx_device = get_hdmitx_device();

    switch_dev_register(&hdcp_dev);

    hdmitx_device->task_hdcp = kthread_run(hdmitx_hdcp_task, (void*)hdmitx_device, "kthread_hdcp");

    return 0;
}
void cec_key_init(void)
{
    extern hdmitx_dev_t * get_hdmitx_device(void);
    hdmitx_device = get_hdmitx_device();
}