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