platform_vaddr_to_cached   93 arch/xtensa/include/asm/platform.h void *platform_vaddr_to_cached(void *p);
platform_vaddr_to_cached  192 arch/xtensa/kernel/pci-dma.c 		page = virt_to_page(platform_vaddr_to_cached(vaddr));