Searched refs:t2_init_arch (Results 1 – 2 of 2) sorted by relevance
63 extern void t2_init_arch(void);
407 t2_init_arch(void) in t2_init_arch() 424 printk("t2_init_arch: enabling SG TLB, IOCSR was 0x%lx\n", in t2_init_arch() 406 t2_init_arch(void) t2_init_arch() function