File list (Check if you may need any files):
PIC32-ports\source\Makefile.inc
...........\......\port_clear_bits_lib.c
...........\......\port_read_bits_lib.c
...........\......\port_read_lib.c
...........\......\port_reset_pins_lib.c
...........\......\port_set_bits_lib.c
...........\......\port_set_pins_analog_in_lib.c
...........\......\port_set_pins_analog_out_lib.c
...........\......\port_set_pins_digital_in_lib.c
...........\......\port_set_pins_digital_out_lib.c
...........\......\port_toggle_bits_lib.c
...........\......\port_write_lib.c
...........\......\_ports_tbl_libp.c
...........\......\_ports_tbl_libp.h
...........\source
PIC32-ports