“punch hole” is another name for
Display cutout
.