100644 blob b1d7cba1f7c9739feb066a04f9bf6d6335323d6d	Makefile
100644 blob b10900ce815e00031413bd005ec61fc6181b7e83	ck_anderson.c
100644 blob 162490a1eb1692f9653468ffe03676fe5f2cbf66	ck_cas.c
100644 blob 19cb512deac880100dbb4460a2dfb6c94e8c0788	ck_clh.c
100644 blob fd351de2ce689176babb790536054236dc8f79a9	ck_dec.c
100644 blob 5cf407149abaf3cd91fa4316d59c60d20ad5dba4	ck_fas.c
100644 blob 001f57bd278219ce1daba5509df850724406fb9e	ck_hclh.c
100644 blob 7adad4364407d9f4b7d2d11906ab8914c2def6c2	ck_mcs.c
100644 blob e682905fee55ceafbdc2927cacce550d2a3048b0	ck_spinlock.c
100644 blob be67254eeeec6c5829e8bc07430eb0808fa1fc87	ck_ticket.c
100644 blob e62ee0ec6941ea17ba2d7ff561f6ae21c6cf7dc8	ck_ticket_pb.c
100644 blob 781e419b04c259af3f4b37a8c14a6f61eec393b7	linux_spinlock.c
100644 blob df40584871a6dddaab4c281db1cf9c029f32da81	validate.h