Searched refs:srmmu_set_ctable_ptr (Results 1 – 2 of 2) sorted by relevance
121 extern __inline__ void srmmu_set_ctable_ptr(unsigned long paddr) in srmmu_set_ctable_ptr() function
1202 srmmu_set_ctable_ptr((unsigned long)srmmu_ctx_table_phys); in srmmu_paging_init()