int dma_needs_bounce(struct device *dev, dma_addr_t addr, size_t size) {
        return (addr > 0x14007fff);
}