gettick_npt
ASSERT(gettick_npt() == 0);
ASSERT(gettick_npt() != 0);
extern uint64_t gettick_npt(void);