Mario debuted in the arcade game Donkey Kong (July 1981), running on Nintendo's proprietary "Donkey Kong" arcade hardware (based on the Zilog Z80 CPU).
So: Arcade (Donkey Kong hardware) → First appearance. NES → First *home console* platformer with his name.