Name
vmalloc_32_user — 
     allocate zeroed virtually contiguous 32bit memory
 
Synopsis
| void * vmalloc_32_user ( | unsigned long size ); | 
 
Description
   The resulting memory area is 32bit addressable and zeroed so it can be
   mapped to userspace without leaking data.