Searched refs:datammu (Results 1 – 1 of 1) sorted by relevance
32 asmlinkage void do_page_fault(int datammu, unsigned long esr0, unsigned long ear0) in do_page_fault() argument51 datammu, esr0, atxc[esr0 >> 20 & 0xf], ear0); in do_page_fault()