Searched refs:__hyp_pgtable_total_pages (Results 1 – 1 of 1) sorted by relevance
30 static inline unsigned long __hyp_pgtable_total_pages(void) in __hyp_pgtable_total_pages() function47 res = __hyp_pgtable_total_pages(); in hyp_s1_pgtable_pages()63 res = __hyp_pgtable_total_pages() + 16; in host_s2_pgtable_pages()
