x86: adds a kpte_t for the pte_t
[akaros.git] / tests / linux-lock-hacks.h
2014-10-02 Barret RhodenPorts lock_test to Linux