vidcvideo_cnattach
vidcvideo_cnattach(videomemory.vidm_vbase);
int vidcvideo_cnattach(vaddr_t);
extern int vidcvideo_cnattach(vaddr_t);