Thanks for your reply. Yes, I find your links useful.
Please, could you confirm that if I do:
this single call will generate 4 random UINT32 numbers at once?
I have seen the implementation only as below :
UINT32 rand1, rand2, init_value, toggle_value;
static ref_clock = 0;
Refer to example pwm_tones in WICED SMART ( /WICED-Smart-SDK/Apps/pwm_tones )
Not sure if any other value to the second parameter works .