sys/arch/amd64/include/pmap.h

417

void pmap_flush_cache(vaddr_t, vsize_t);

sys/arch/amd64/include/pmap.h

420

pmap_flush_cache(PMAP_DIRECT_MAP(paddr), PAGE_SIZE); \

sys/arch/i386/i386/pmap.c

1657

pmap_flush_cache((vaddr_t)va, PAGE_SIZE);

sys/arch/i386/i386/pmapae.c

2131

pmap_flush_cache((vaddr_t)va, PAGE_SIZE);

sys/arch/i386/include/pmap.h

352

void pmap_flush_cache(vaddr_t, vsize_t);

sys/dev/acpi/acpidmar.c

1358

pmap_flush_cache((vaddr_t)addr, size);

sys/dev/acpi/acpidmar.c

1362

pmap_flush_cache((vaddr_t)addr, size);

sys/dev/pci/drm/include/asm/cacheflush.h

10

#define clflush_cache_range(va, len) pmap_flush_cache((vaddr_t)(va), len)