Searched refs:clean_dcache_va_range (Results 1 – 8 of 8) sorted by relevance
| /xen/xen/include/asm-arm/ |
| A D | page.h | 190 static inline int clean_dcache_va_range(const void *p, unsigned long size) in clean_dcache_va_range() function
221 clean_dcache_va_range(_p, sizeof(x)); \
|
| /xen/xen/include/asm-x86/ |
| A D | flushtlb.h | 195 static inline int clean_dcache_va_range(const void *p, unsigned long size) in clean_dcache_va_range() function
|
| /xen/xen/arch/arm/ |
| A D | guestcopy.c | 91 clean_dcache_va_range(p, size); in copy_guest()
|
| A D | kernel.c | 60 clean_dcache_va_range(dst, l); in copy_from_paddr()
291 clean_dcache_va_range(output, output_size); in kernel_decompress()
|
| A D | cpuerrata.c | 76 clean_dcache_va_range(dst_remapped, VECTOR_TABLE_SIZE); in copy_hyp_vect_bpi()
|
| A D | p2m.c | 676 clean_dcache_va_range(p, PAGE_SIZE); in p2m_create_table()
857 clean_dcache_va_range(table, PAGE_SIZE); in p2m_split_superpage()
|
| A D | mm.c | 1631 clean_dcache_va_range(p, PAGE_SIZE); in clear_and_clean_page()
|
| /xen/xen/common/ |
| A D | grant_table.c | 3472 ret = clean_dcache_va_range(v, cflush->length); in cache_flush()
|
Completed in 19 milliseconds