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;