Symbol: hyperv_flush_guest_mapping_range