tfh_write_restart  434 drivers/misc/sgi-gru/grufault.c 	tfh_write_restart(tfh, gpa, GAA_RAM, vaddr, asid, write,
tfh_write_restart  512 drivers/misc/sgi-gru/gruhandles.h void tfh_write_restart(struct gru_tlb_fault_handle *tfh, unsigned long paddr,