Searched refs:paging_max_paddr_bits (Results 1 – 2 of 2) sorted by relevance
368 static inline unsigned int paging_max_paddr_bits(const struct domain *d) in paging_max_paddr_bits() function
540 paging_max_paddr_bits(d)); in recalculate_cpuid_policy()
Completed in 4 milliseconds