History log of /seL4-camkes-master/projects/musllibc/arch/x32/bits/stdint.h
Revision Date Author Comments
# 664cd341 07-Jan-2014 rofl0r <retnyg@gmx.net>

x32 port (diff against vanilla x86_64)
# 323272db 07-Jan-2014 rofl0r <retnyg@gmx.net>

import vanilla x86_64 code as x32