Constant TPM_WNF_INFO_NO_REBOOT_REQUIRED 

pub const TPM_WNF_INFO_NO_REBOOT_REQUIRED: u32 = 1u32;