Searched refs:hw_lower_amd64_sharedpage (Results 1 – 3 of 3) sorted by relevance
55 int hw_lower_amd64_sharedpage; variable57 &hw_lower_amd64_sharedpage, 0,194 hw_lower_amd64_sharedpage = 1; in init_amd()
139 if (hw_lower_amd64_sharedpage != 0) { in amd64_lower_shared_page()
41 extern int hw_lower_amd64_sharedpage;