Use the correct register class as a constaint to gcc's inline assembly, so