PCITAG_OFFSET
#define PCITAG_OFFSET(t) ((uint32_t)((t)&0xffffffff))
#define PCITAG_OFFSET(x) ((x)&0xffffffff)