REG_OFFSET
#define REG_OFFSET(insn, pos) \
#define REG_OFFSET(reg_name) (BASE(mm##reg_name##_BASE_IDX) + mm##reg_name)
#define REG_OFFSET(base, reg, pin) (base + reg + (pin / MAX_GPIO_PER_REG) \
#define REG_OFFSET 0xc000
#define REG_OFFSET(vcpu, offset) (((uint64_t)vcpu << 32) | offset)