// This file is not used by i386, but we keep it here so all
// architectures have the same set of header files.