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);