W reprezentacji Chile Machuca zadebiutował 31 maja 1972 w przegranym 3-4 spotkaniu w ramach Copa Carlos Dirttborn z Argentyną. W 1974 roku został powołany przez selekcjonera Luisa Álamosa do kadry na Mistrzostwa Świata w RFN. Na Mundialu Machuca był rezerwowym i nie wystąpił w żadnym meczu. W 1975 wziął udział w Copa América. W tym turnieju Machuca wystąpił w dwóch meczach z Boliwią i Peru. Ostatni raz w reprezentacji Machuca wystąpił 15 czerwca 1977 w przegranym 2-4 towarzyskim spotkaniu ze Szkocją. Od 1972 do 1977 rozegrał w reprezentacji 22 spotkania.