#ifndef __VIDEOCODEC_KERNEL_H__ #define __VIDEOCODEC_KERNEL_H__ unsigned long pmem_user_v2p_video(unsigned long va); #endif /* __VIDEOCODEC_KERNEL_H__ */