dki_dcache_inval(D3X)

NAME
     dki_dcache_inval - invalidate the data cache for a given range of virtual
     addresses

SYNOPSIS
     #include "sys/types.h"

     dki_dcache_inval(caddr_t v_addr, unsigned len);

   Arguments
     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.

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

DESCRIPTION
     dki_dcache_inval invalidates the data cache starting at v_addr address.
     This function, along with the dki_dcache_wb(D3X) and
     dki_dcache_wbinval(D3X) functions, 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(D3X), and dki_dcache_wbinval(D3X)
     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.