Symbol: mapping_wrprotect_range