michaelh/zephyr
1
0
Fork 0
Code Releases Activity

arch: x86_64: Correct sys_read64 return type

Browse source 
It does make sense to use uint64_t as a return type.

Signed-off-by: Andrei Emeltchenko <andrei.emeltchenko@intel.com>
This commit is contained in:
Andrei Emeltchenko 2020-12-16 10:53:24 +02:00 • committed by Anas Nashif
commit 52387c13b7
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
include/arch/x86/intel64/arch.h
View file

@ -28,7 +28,7 @@ static ALWAYS_INLINE void sys_write64(uint64_t data, mm_reg_t addr)
: "memory");
}
static ALWAYS_INLINE uint32_t sys_read64(mm_reg_t addr)
static ALWAYS_INLINE uint64_t sys_read64(mm_reg_t addr)
{
uint64_t ret;