start_mapping     625 arch/x86/mm/mpx.c 		unsigned long start_mapping, unsigned long end_mapping)
start_mapping     638 arch/x86/mm/mpx.c 	start = bt_addr + mpx_get_bt_entry_offset_bytes(mm, start_mapping);