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));