choose_random_kstack_offset
choose_random_kstack_offset(get_random_u16());
choose_random_kstack_offset(get_cycles());
choose_random_kstack_offset(mftb());
choose_random_kstack_offset(get_random_u16());
choose_random_kstack_offset(get_tod_clock_fast());
choose_random_kstack_offset(rdtsc());