Fortunately, the gcc port implements the builtins and, from basic testing, they seem to work. This is only really useful on Wii U--other platforms have more robust atomic operations, or aren't using gcc to build.
