Rename WldSlice to _k_workload_slice

Updating global variable's name to follow a consistent naming convention.

Change accomplished with the following script:

   #!/bin/bash
   echo "Searching for ${1} to replace with ${2}"
   find ./ \( -name "*.[chs]" -o -name "sysgen.py" -o -name "*.kconf" \) \
            ! -path "./host/src/genIdt/*" \
            ! -path "*/outdir/*" | xargs sed -i 's/\b'${1}'\b/'${2}'/g';

Change-Id: I73fea5925bd580fb00d1873240db1591b1e80a8d
Signed-off-by: Yonattan Louise <yonattan.a.louise.mendoza@intel.com>

kernel/microkernel/idle.c

@@ -47,7 +47,7 @@ task, depending on how the kernel is configured.
 
 #if defined(CONFIG_WORKLOAD_MONITOR)
 
-unsigned int WldSlice = 0x0;
+unsigned int _k_workload_slice = 0x0;
 unsigned int WldTicks = 0x0;
 unsigned int WldRefT = 0x0;
 unsigned int WldT0 = 0x0;
@@ -128,7 +128,7 @@ void wlMonitorCalibrate(void)
 	WldRefT = (WldT1 - WldT0) >> (4 + 6);
 #endif
 
-	WldSlice = 100;
+	_k_workload_slice = 100;
 	WldTicks = 100;
 }
 
@@ -205,7 +205,7 @@ void workload_time_slice_set(int32_t t)
 		t = 10;
 	if (t > 1000)
 		t = 1000;
-	WldSlice = t;
+	_k_workload_slice = t;
 #else
 	ARG_UNUSED(t);
 #endif

kernel/microkernel/include/kticks.h

@@ -39,7 +39,7 @@
 extern K_TIMER *_k_timer_list_head;
 extern K_TIMER *_k_timer_list_tail;
 extern int64_t _k_sys_clock_tick_count;
-extern unsigned int WldSlice;
+extern unsigned int _k_workload_slice;
 extern unsigned int WldTicks;
 extern unsigned int WldRefT;
 extern unsigned int WldT0;

kernel/microkernel/timer/ticker.c

@@ -141,7 +141,7 @@ static inline void _WlMonitorUpdate(void)
 		WldT1 = timer_read();
 		WldN0 = WldN1;
 		WldN1 = Wld_i - 1;
-		WldTicks = WldSlice;
+		WldTicks = _k_workload_slice;
 	}
 #else
 /* do nothing */