Comment by banana_giraffe

> I should probably find out the actual name

It's called a "watch pocket", originally meant for, unsurprisingly, pocket watches.