LINUX_VERSION_PATCHLEVEL

Constant LINUX_VERSION_PATCHLEVEL 

Source
pub const LINUX_VERSION_PATCHLEVEL: u32 = 13;