acrn-kernel/lib/gcd.c