Searched refs:paging_max_paddr_bits (Results 1 – 2 of 2) sorted by relevance
390 static always_inline unsigned int paging_max_paddr_bits(const struct domain *d) in paging_max_paddr_bits() function
666 paging_max_paddr_bits(d)); in recalculate_cpuid_policy()
Completed in 5 milliseconds