12 #ifndef __ASM_MACH_POWERTV_DMA_COHERENCE_H
13 #define __ASM_MACH_POWERTV_DMA_COHERENCE_H
15 #include <linux/sched.h>
16 #include <linux/device.h>
19 static inline bool is_kseg2(
void *
addr)
21 return (
unsigned long)addr >=
KSEG2;
24 static inline unsigned long virt_to_phys_from_pte(
void *addr)
31 unsigned long virt_addr = (
unsigned long)addr;
51 phys_addr = (
unsigned long)
78 static inline unsigned long plat_dma_addr_to_phys(
struct device *dev,
89 static inline int plat_dma_supported(
struct device *dev,
u64 mask)
102 static inline void plat_extra_sync_for_device(
struct device *dev)
106 static inline int plat_dma_mapping_error(
struct device *dev,
112 static inline int plat_device_is_coherent(
struct device *dev)