Aunque en otras ocasiones es llamado Super Mario 64DD (スーパーマリオ64DD Sūpā Mario Rokujūyon Dī Dī).