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