debian man page for vfree

VFREE(9)                                                    Memory Management in Linux                                                    VFREE(9)

NAME
       vfree - release memory allocated by vmalloc

SYNOPSIS
       void vfree(const void * addr);

ARGUMENTS
       addr
           memory base address

DESCRIPTION
       Free the virtually continuous memory area starting at addr, as obtained from vmalloc, vmalloc_32 or __vmalloc. If addr is NULL, no
       operation is performed.

       Must not be called in interrupt context.

COPYRIGHT
Kernel Hackers Manual 2.6.                                           July 2010                                                            VFREE(9)