Header file changes for TSO
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 2 Jul 2014 17:50:37 +0000 (10:50 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 2 Jul 2014 17:50:37 +0000 (10:50 -0700)
commit7b4840c75bced925473133482117615cb510a8cd
treeb52ad12e320ce9477d451890124da6dc8eeff38b
parent38e7d304072c89f74904318c1c36414b87b7d010
Header file changes for TSO

Via Drew.
kern/include/ip.h
kern/include/ns.h