Ah, found a video, though they call it
kissing their teeth. Yeah, Irish people used to do this, but don't so much now. But not so much for frustration as for "Well-now-let-me-think". We do it by flattening the very tippy tip of the tongue between the top and bottom front teeth and sucking in over the top of the tongue-tip.