#include "has_platform.h" int video_open(int param) { printf("init video %d\n", param); return 0; } static Device_stu_t video_dev = { .open = video_open, .close = NULL, .write = NULL, .read = NULL, .drv_ctl = NULL, }; HAS_DECLARE_DRV(VIDEO, &video_dev)