Updated micscif/miscif_api.c for new get_user_pages() function.

[xeon-phi-kernel-module] / mic.modules

#!/bin/sh

if [ ! -d /sys/class/mic ]; then
       exec /sbin/modprobe mic >/dev/null 2>&1
fi