write_fpr
static inline void write_fpr(unsigned int idx, u64 value)
int write_fpr(pid_t child, __u64 val)