michaelh/zephyr
1
0
Fork 0
Code Releases Activity

kernel: use uintptr_t for kobject data

Browse source 
This has to be wide enough to store a pointer.

Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
This commit is contained in:
Andrew Boie 2019-11-13 12:52:00 -08:00 • committed by Andrew Boie
commit e48ed6a980
3 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
scripts/elf_helper.py
View file

@ -71,10 +71,10 @@ class KobjectInstance:
self.data = thread_counter
thread_counter = thread_counter + 1
elif self.type_obj.name == "sys_mutex":
self.data = "(u32_t)(&kernel_mutexes[%d])" % sys_mutex_counter
self.data = "(uintptr_t)(&kernel_mutexes[%d])" % sys_mutex_counter
sys_mutex_counter += 1
elif self.type_obj.name == "k_futex":
self.data = "(u32_t)(&futex_data[%d])" % futex_counter
self.data = "(uintptr_t)(&futex_data[%d])" % futex_counter
futex_counter += 1
else:
self.data = 0