preserve_tpidr2_context
err |= preserve_tpidr2_context(tpidr2_ctx);
extern int preserve_tpidr2_context(void __user *ctx);