review.evervolv.com / android_kernel_hardkernel_odroidn2 / 842f8e1ca6a9ffea2e1d1f80d656765ab52a15a4 / drivers / xen / privcmd.h