// SPDX-License-Identifier: GPL-2.0#include<linux/types.h>#include<linux/errno.h>#include<linux/uaccess.h>intfnabs(u32*frD,u32*frB){frD[0]=frB[0]|0x80000000;frD[1]=frB[1];#ifdef DEBUGprintk("%s: D %p, B %p: ",__func__,frD,frB);dump_double(frD);printk("\n");#endifreturn0;}