Symbol: RAND_SRCF_PCPU