__iomem
static void expl(obj_t __kernel *k, obj_t __iomem *o,
(obj_t __iomem*)(o);
static void expl(obj_t __kernel *k, obj_t __iomem *o,
(obj_t __iomem*)(o); // OK
#define __iomem __attribute__((address_space(__iomem)))
void __iomem *a;
#define OSAL_IOMEM __iomem
void __iomem *doorbell_addr;
void __iomem *hw_rxq_prod_addr;
#ifndef __iomem