Added r10-r15 as x86_64 scratch registers