avg 4059f2fdc7 nctgpio: change default pin names to those used by the datasheet(s)
That is, instead of the current GPIO00 - GPIO15 the names will be GPIO00
- GPIO07, GPIO10 - GPIO17.  The first digit is a GPIO "bank" / group
number and the second one is a pin number within the bank.  Alternative
view is that the pin names are changed from decimal numbering scheme to
octal one (as there are 8 pins per bank).

Discussed with:	cem, gonzo
MFC after:	2 weeks
2019-07-01 15:43:48 +00:00
..
2019-05-24 06:07:33 +00:00
2018-07-07 15:55:52 +00:00
2019-02-25 21:59:01 +00:00
2019-05-28 18:05:10 +00:00
2019-05-17 13:08:12 +00:00
2019-01-25 21:38:28 +00:00
2018-10-15 18:39:33 +00:00
2019-03-19 14:34:53 +00:00
2019-05-30 13:52:32 +00:00
2018-12-17 21:34:09 +00:00
2019-03-20 17:27:00 +00:00
2018-08-21 10:08:12 +00:00
2019-05-23 12:51:13 +00:00
2019-06-07 18:34:48 +00:00
2019-02-05 21:37:34 +00:00
2019-03-11 14:26:45 +00:00
2018-04-13 20:30:49 +00:00
2019-02-05 21:37:34 +00:00
2018-09-26 19:41:00 +00:00
2019-06-08 16:26:56 +00:00
2019-02-05 21:37:34 +00:00
2018-07-27 10:40:48 +00:00
2019-02-04 21:28:25 +00:00
2019-04-16 02:46:21 +00:00
2019-05-21 18:42:36 +00:00
2019-02-26 19:55:03 +00:00