mb/google/fatcat: config GPP_F23 as ISH gpio pinmain
[coreboot2.git] / src / arch / arm / include / armv4 / 
tree1423a138ccc33016efada1305572e4bb824ad49a
drwxr-xr-x   ..
drwxr-xr-x - arch