add_header_library( linux_i386_util HDRS syscall.h ) add_header_library( vdso HDRS vdso.h )