KS_ADDR
#define KS_ADDR(x) (((x)-KS_BASE)/sizeof (uint64_t))
#define KS_ADDR(x) (((x)-KS_BASE)/sizeof (uint32_t))
