Previously we used unsigned long int as __uintptr_t, but gcc prefers
__UINTPTR_TYPE__ as unsigned int, and now we use that for __uintptr_t
as well, so adapt MUTEX_CAS() accordingly.
intptr_t and uintptr_t are not long any more.
Revert previous changes, gcc configuration will be adapted instead.
Force INTPTR_TYPE/UINTPTR_TYPE to long int/unsigned long int.
(same types as PTRDIFF_TYPE/SIZE_TYPE)
Set __NO_FIQ for the Exynos processors are shipped with SecureCore enabled
gics and FIQs are for the secure part only.
Overflow if *data_len == OSIZE and args->version >= PTYFS_ARGSVERSION.

Sent on tech-kern@, ok christos@
Fix SCN?FAST{8,16} formats to match reality (int) in gcc4.8.3
Fix typo in OBJCOPYLIBFLAGS_EXTRA for aarch64eb.
Fix INTPTR_TYPE/UINTPTR_TYPE for n32.
For an argument to be interpreted as a local file name, bypassing the
search rules in man.conf or MANPATH, it must begin with "/", "./", or
"../".  Simply testing whether it contains "/" is wrong, because it
breaks usage like "man 8 vax/boot".

This reverts revision 1.57 dated 2013-10-06,
"Be more permissive in interpreting man pages as filenames".
Adjust AUDIOCORE mapping for exynos4 to map in entire piece.
Rename C2C gpio to match the naming scheme
Add I2S gpio offset
Add GPIO definitions for Exynos5 series (taken from 5250)
Add gpio not connected definitions for Exynos5

While here, increase delay around lan9730 powercycle timing to improve its
reset.
More detail about treating a local file as a man page,
and about how to request machine-specific man pages.
re
Add exyogpio device attachment for exynos5
Add some examples of machine-specific foo/boot.8 man pages.
Allow bits to be used for the usb hub on Odroid-XU
Add tar.debug and cpio.debug to lists for MKBSDTAR=yes MKDEBUG=yes.
Add dtrace modules to amd64-xen module set list.  Hi jnemeth!