Yeah that was what I was looking for, apparently it has an Infineon[1] part number now : https://www.infineon.com/cms/en/product/microcontroller/32-b... which is kind of cool.

[1] Apparently Infineon closed their acquisition of Cypress in 2020.