bde_vaddr         786 arch/x86/mm/mpx.c 	void __user *bde_vaddr;
bde_vaddr         825 arch/x86/mm/mpx.c 	bde_vaddr = mm->context.bd_addr + mpx_get_bd_entry_offset(mm, start);
bde_vaddr         826 arch/x86/mm/mpx.c 	ret = get_bt_addr(mm, bde_vaddr, &bt_addr);
bde_vaddr         844 arch/x86/mm/mpx.c 		return unmap_entire_bt(mm, bde_vaddr, bt_addr);