Verifique se o Kernel do Linux é em tempo real ou não do módulo do Kernel

Question

Nós temos um módulo do kernel que é usado tanto em tempo real (RT) quanto em tempo real no kernel Linux. O módulo usa a função get_user_pages_remote. No entanto, há uma verificação de versão, pois o módulo precisa funcionar para kernels mais antigos:

#if(LINUX_VERSION_CODE > KERNEL_VERSION(4,4,41))
   res = get_user_pages_remote(...);
#else
   res = get_user_pages(...);
#endif

Estou tentando construir este módulo para o kernel 4.4.88-18-rt, mas ele não tem a API get_user_pages_remote (...). Alguma sugestão sobre como lidar com isso?

1. Devo verificar a versão rt e usar get_user_pages?
2. Existe uma API de wrapper comum a todos os kernels que chamam internamente a API correta?

Obrigado