···1212#endif13131414/* macros to convert between really physical and virtual addresses1515- * by stripping a selected bit, we can convert between KSEG_x and 0x40000000 where1616- * the DRAM really resides1515+ * by stripping a selected bit, we can convert between KSEG_x and1616+ * 0x40000000 where the DRAM really resides1717 */18181919#ifdef CONFIG_CRIS_LOW_MAP