drivers/gpio/mmio.h

   1 #define REG(x)(*((volatile uint32_t *)(x)))
   2 #define BIT(x)(0x1 << x)
   3
   4 /* Write a uint32_t value to a memory address. */
   5 static inline void
   6 write32(uint32_t address, uint32_t value)
   7 {
   8         REG(address) = value;
   9 }
  10
  11 /* Read an uint32_t from a memory address */
  12 static inline uint32_t
  13 read32(uint32_t address)
  14 {
  15
  16         return REG(address);
  17 }
  18
  19 /* Set a 32 bits value depending on a mask */
  20 static inline void
  21 set32(uint32_t address, uint32_t mask, uint32_t value)
  22 {
  23         uint32_t val;
  24         val = read32(address);
  25         /* clear the bits */
  26         val &= ~(mask);
  27         /* apply the value using the mask */
  28         val |= (value & mask);
  29         write32(address, val);
  30 }