octpko_cmd_word1
return octpko_cmd_word1(
static __inline uint64_t octpko_cmd_word1(int, int, int, int, paddr_t);