ps3av_video_mode2res
extern int ps3av_video_mode2res(u32, u32 *, u32 *);
EXPORT_SYMBOL_GPL(ps3av_video_mode2res);
if (ps3av_video_mode2res(id, &x, &y))