Constant PAGE_FAULT_CHURN_SPIN_ITERS 

pub const PAGE_FAULT_CHURN_SPIN_ITERS: u64 = 64;