XCHAL_KIO_CACHED_VADDR
movi a5, XCHAL_KIO_CACHED_VADDR + XCHAL_KIO_TLB_WAY
return (void*)(offset-XCHAL_KIO_PADDR+XCHAL_KIO_CACHED_VADDR);
if ((va >= XCHAL_KIO_CACHED_VADDR &&
va - XCHAL_KIO_CACHED_VADDR < XCHAL_KIO_SIZE) ||
XCHAL_KIO_CACHED_VADDR + 6);
XCHAL_KIO_CACHED_VADDR + 6);