in cec.c [404:411]
static int pfn_set(void *data, u64 val) { *(u64 *)data = val; cec_add_elem(val); return 0; }