ck_dflock: Changed ck_dflock interface to allow for a user-defined deadline function instead of being tied to rdtsc