dki_dcache_wbinval(D3X)

NAME
     dki_dcache_wbinval - write back and invalidate the data cache for a given
     range of virtual addresses

SYNOPSIS
     #include "sys/types.h"

     dki_dcache_wbinval(caddr_t v_addr, unsigned len);

   Arguments
     len  Gives the number of bytes over which to perform the operation.

     v_addr
          Can be either a user or kernel virtual address. If v_addr is a user
          virtual address, it is assumed to be that of the current mapped
          process. If, however, v_addr is a k1seg address, or if it is a user
          virtual or k2seg address and the page table entry specifies that the
          page is not cacheable, no operation is performed on the data cache
          for that page.

DESCRIPTION
     dki_dcache_wbinval writes back and invalidates the data cache starting at
     v_addr address. This function, along with the dki_dcache_wb and
     dki_dcache_inval functions provide a sufficient set of functions to allow
     drivers to manage the data cache for DMA buffers or other purposes.

   Return Values
     None

   See Also
     The "Data Cache Write Back and Invalidation" section of the IRIX Device
     Driver Programming Guide


   Note
     The dki_dcache_inval, dki_dcache_wb, and dki_dcache_wbinval functions
     replace vflush(D3X). On machines where a particular operation does not
     make sense, such as cache write back on a machine with a write through
     cache, the routine is provided as a stub routine which performs no
     operation. This allows drivers using these routines to work on all
     Silicon Graphics machines.