timekeeping_max_deferment
delta = timekeeping_max_deferment();
extern u64 timekeeping_max_deferment(void);