bt_addr_result    491 arch/x86/mm/mpx.c 			unsigned long *bt_addr_result)
bt_addr_result    540 arch/x86/mm/mpx.c 	*bt_addr_result = bt_addr;