El picamaderos picomarfil o carpintero real (Campephilus principalis) es una especie de ave de la familia de los pájaros carpinteros (Picidae).