Where I live in Arizona, machaca is something totally different. Here, machaca is dried beef jerky that has been ground or pounded and then reconstituted.
http://en.wikipedia.org/wiki/Machaca
This sounds like what we would refer to as green chili beef. Add a can of mild diced green chilies to this recipe--yum-yum.