github/acrn-hypervisor
1
0
Fork 0
mirror of https://github.com/projectacrn/acrn-hypervisor.git synced 2025-06-19 20:22:46 +00:00
Code Issues Projects Releases Wiki Activity

hv: mmio_read: add const qualifier

Browse Source 
This patch fixes the MISRA-C violations related to mmio_read**
 * add `const` qualifier in implementation of mmio_read**
   `const` qualifier shall be added

Tracked-On: #861
Signed-off-by: Shiqing Gao <shiqing.gao@intel.com>
Reviewed-by: Eddie Dong <eddie.dong@intel.com>
Reviewed-by: Li, Fei1 <fei1.li@intel.com>
This commit is contained in:
Shiqing Gao 2018-12-25 11:54:53 +08:00 committed by wenlingz
parent 1dee629e75
commit b3c199d043
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
hypervisor/include/arch/x86/io.h
View File

@ -144,7 +144,7 @@ static inline void mmio_write8(uint8_t value, void *addr)
*/ */
static inline uint64_t mmio_read64(const void *addr) static inline uint64_t mmio_read64(const void *addr)
{ {
return *((volatile uint64_t *)addr); return *((volatile const uint64_t *)addr);
} }
/** Reads a 32 bit value from a memory mapped IO device. /** Reads a 32 bit value from a memory mapped IO device.
@ -155,7 +155,7 @@ static inline uint64_t mmio_read64(const void *addr)
*/ */
static inline uint32_t mmio_read32(const void *addr) static inline uint32_t mmio_read32(const void *addr)
{ {
return *((volatile uint32_t *)addr); return *((volatile const uint32_t *)addr);
} }
/** Reads a 16 bit value from a memory mapped IO device. /** Reads a 16 bit value from a memory mapped IO device.
@ -166,7 +166,7 @@ static inline uint32_t mmio_read32(const void *addr)
*/ */
static inline uint16_t mmio_read16(const void *addr) static inline uint16_t mmio_read16(const void *addr)
{ {
return *((volatile uint16_t *)addr); return *((volatile const uint16_t *)addr);
} }
/** Reads an 8 bit value from a memory mapped IO device. /** Reads an 8 bit value from a memory mapped IO device.
@ -177,7 +177,7 @@ static inline uint16_t mmio_read16(const void *addr)
*/ */
static inline uint8_t mmio_read8(const void *addr) static inline uint8_t mmio_read8(const void *addr)
{ {
return *((volatile uint8_t *)addr); return *((volatile const uint8_t *)addr);
} }
/** Reads a 64 Bit memory mapped IO register, mask it and write it back into /** Reads a 64 Bit memory mapped IO register, mask it and write it back into