cn30xxpko_cmd_word1
static inline uint64_t cn30xxpko_cmd_word1(int, int, int, int, paddr_t);
return cn30xxpko_cmd_word1(