return raw_smp_processor_id();
  }
  
- /* Register mappings for user programs. */
- #define A_REG         0
- #define X_REG         7
- #define TMP_REG               8
- #define ARG2_REG      2
- #define ARG3_REG      3
- 
 +/* note that this only generates 32-bit random numbers */
 +static u64 __get_random_u32(u64 ctx, u64 A, u64 X, u64 r4, u64 r5)
 +{
 +      return (u64)prandom_u32();
 +}
 +
  static bool convert_bpf_extensions(struct sock_filter *fp,
                                   struct sock_filter_int **insnp)
  {