Symbol: vidcvideo_printdetails
sys/arch/arm/iomd/vidc20config.h
50
extern void vidcvideo_printdetails (void);
sys/arch/arm/iomd/vidcvideo.c
337
vidcvideo_printdetails();