Symbol: cn30xxpko_op_store
sys/arch/octeon/dev/cn30xxpko.c
40
static inline void cn30xxpko_op_store(uint64_t, uint64_t);
sys/arch/octeon/dev/cn30xxpkovar.h
157
cn30xxpko_op_store(args, value);