virt_space        600 arch/x86/mm/mpx.c 	unsigned long long virt_space;
virt_space        615 arch/x86/mm/mpx.c 	virt_space = (1ULL << boot_cpu_data.x86_virt_bits);
virt_space        616 arch/x86/mm/mpx.c 	return virt_space / MPX_BD_NR_ENTRIES_64;