GPIO port bit set/reset register (BSRR)

Hi,

In F3 STM32F3Discovery I have the BSRR like in this example screenshot below. I am looking for the equivalent in SK-S7G2 on PORT6 where my LEDs are. Is this the Output Reset Register PORR & Output Set Register POSR in the User Manual? Or is my assumption wrong?