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