Карьера
Клубная
В сборной
В сборной Чили Мачука дебютировал 31 мая 1972 года в матче со сборной Аргентины, завершившимся со счётом 3:4. В составе сборной Мачука принял участие в чемпионате мира 1974 года и Кубке Америки 1975 года. Своё последнее выступление за сборную Мачука провёл в товарищеском матче против сборной Шотландии 15 июня 1977 года, тот матч завершился поражением чилийцев 2:4. Всего же за сборную Мачука сыграл 22 официальных матча.
Достижения
Командные
- Финалист Кубка Либертадорес: 1975
- Чемпион Чили (3): 1973, 1975, 1977