Symbol: clean_dcache_guest_page
arch/arm64/kvm/hyp/nvhe/mem_protect.c
247
static void clean_dcache_guest_page(void *va, size_t size)
arch/arm64/kvm/mmu.c
282
static void clean_dcache_guest_page(void *va, size_t size)