Constant CONFIG_QEMU_ICOUNT_SHIFT 

pub const CONFIG_QEMU_ICOUNT_SHIFT: isize = 6;