fdcache
fdcache(p + page_size * 1, TESTSZ);
fdcache(p + page_size * 2, TESTSZ);
fdcache(p, size);
fdcache(0, (vaddr_t)ie_mem, IE_SIZE);
fdcache(0, (vaddr_t)ie_mem, IE_SIZE);
fdcache(0, sc->bh + offset, size);
fdcache(HPPA_SID_KERNEL, (vaddr_t)data, size);
fdcache(HPPA_SID_KERNEL, ps->_ds_va + off, l);
fdcache(pve->pv_pmap->pm_space, pve->pv_va, PAGE_SIZE);
fdcache(HPPA_SID_KERNEL, pa, PAGE_SIZE);
fdcache(HPPA_SID_KERNEL, dpa, PAGE_SIZE);
fdcache(pmap->pm_space, va, len);
fdcache(HPPA_SID_KERNEL, va, PAGE_SIZE);
fdcache(pmap->pm_space, va, PAGE_SIZE);
fdcache(HPPA_SID_KERNEL, addr, PAGE_SIZE);
fdcache(HPPA_SID_KERNEL, addr, size);
fdcache(HPPA_SID_KERNEL, addr, PAGE_SIZE);
void fdcache(pa_space_t sp, vaddr_t va, vsize_t size);