some fixes

Xiaomi/RedmiNote10Pro/res/values/config.xml

@@ -1,12 +1,17 @@
 <?xml version="1.0" encoding="utf-8"?>
 <resources>
 
-    <!-- bools.xml file -->
+    <!-- bools.xml files -->
     <bool name="config_automatic_brightness_available">true</bool>
     <bool name="config_showNavigationBar">true</bool>
     <bool name="config_useDevInputEventForAudioJack">true</bool>
 
-    <!-- arrays.xml file -->
+    <!-- dimens.xml files -->
+    <dimen name="rounded_corner_radius_bottom">102px</dimen>
+    <dimen name="rounded_corner_radius_top">102px</dimen>
+    <dimen name="status_bar_height_portrait">93px</dimen>
+
+    <!-- arrays.xml files -->
     <integer-array name="config_ambientBrighteningThresholds">
         <item>2</item>
         <item>5</item>
@@ -255,12 +260,12 @@
         <item>wigig0</item>
     </string-array>
 
-    <!-- fractions.xml file -->
+    <!-- fractions.xml files -->
     <fraction name="config_autoBrightnessAdjustmentMaxGamma">300.0%</fraction>
     <fraction name="config_maximumScreenDimRatio">29.999996%</fraction>
     <fraction name="config_screenAutoBrightnessDozeScaleFactor">100.0%</fraction>
 
-    <!-- integers.xml -->
+    <!-- integers.xml files-->
     <integer name="config_autoBrightnessBrighteningLightDebounce">1000</integer>
     <integer name="config_autoBrightnessDarkeningLightDebounce">1000</integer>
     <integer name="config_brightness_ramp_rate_fast">2466</integer>
@@ -275,4 +280,8 @@
     <integer name="config_screenBrightnessSettingMaximum">2047</integer>
     <integer name="config_screenBrightnessSettingMinimum">10</integer>
     <integer name="config_shutdownBatteryTemperature">600</integer>
+
+    <!-- displayCutout -->
+    <string name="config_mainBuiltInDisplayCutout">M 0,0 H -37 V 93 H 37 V 0 H 0 Z</string>
+
 </resources>

tests/priorities

@@ -0,0 +1,19 @@
+14
+162
+25
+453
+81
+100
+149
+152
+151
+76
+39
+6
+143
+131
+173
+8998
+85
+97
+144