Constant linux_input_sys::constants::KEY_F12

pub const KEY_F12: u16 = 88;