/src/boot/pibmem_repair/scom_repair_p9/
../
pibmem_repair.S