/////////////////////////////////////////////////////////////////////////////// // File : rdk_driver.c // Date : 13/02/2014 // Author : alain greiner // Maintainer: cesar fuguet // Copyright (c) UPMC-LIP6 /////////////////////////////////////////////////////////////////////////////// #include #include #include #include #include #if !defined(SEG_RDK_BASE) # error: You must define SEG_RDK_BASE in the hard_config.h file #endif ///////////////////////////////////////////////////// unsigned int _rdk_access( unsigned int use_irq, // not used unsigned int to_mem, unsigned int lba, unsigned long long buf_vaddr, // actually vaddr unsigned int count) { #if USE_IOC_RDK #if GIET_DEBUG_IOC unsigned int procid = _get_procid(); unsigned int x = procid >> (Y_WIDTH + P_WIDTH); unsigned int y = (procid >> P_WIDTH) & ((1<