Function free_kernel_virtual 

pub fn free_kernel_virtual(ptr: *mut u8, token: &IrqDisabledToken) -> bool

Free memory previously returned by allocate_kernel_virtual.

Returns true if a mapping was released. false means nothing was freed (e.g. pointer not in the vmalloc arena or not a live allocation start).