__vrip_register_dcu
.vc_register_dcu = __vrip_register_dcu,
void __vrip_register_dcu(vrip_chipset_tag_t, vrdcu_chipset_tag_t);