don't know how to explain it, you have to dig deeper to these file.
pins_driver.c will call "device_registers.h", "pins_gpio_hw_access.h", "pins_port_hw_access.h"/
and "pins_gpio_hw_access.h", "pins_port_hw_access.h" mainly provides the API for reading and writing
register bit -fields belonging to the PORT module.