Pork tenderloin is the traditional name in United States. Elsewhere, butchers sell the same piece — or a close cousin — under a different name.
Both are lean pork cuts from the back but the tenderloin is far smaller, more tender, and cooks much faster — they are not interchangeable in recipes without adjustment.