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