pub type FILTER_BOOT_OPTION_OPERATION = u32;