end_mapping       625 arch/x86/mm/mpx.c 		unsigned long start_mapping, unsigned long end_mapping)
end_mapping       639 arch/x86/mm/mpx.c 	end   = bt_addr + mpx_get_bt_entry_offset_bytes(mm, end_mapping - 1);