1 /* Copyright (c) 2016 Google Inc.
2 * Barret Rhoden <brho@cs.berkeley.edu>
3 * See LICENSE for details.
5 * CPU feature detection.
7 * You can add new items as needed. Changing __CPU_FEAT_ARCH_START will require
8 * a rebuild of the world. Otherwise, you just need to reinstall kernel
13 #include <ros/common.h>
15 #define CPU_FEAT_VMM 1
16 #define __CPU_FEAT_ARCH_START 64
18 #include <ros/arch/cpu_feat.h>
20 #define __NR_CPU_FEAT_BITS DIV_ROUND_UP(__NR_CPU_FEAT, \
21 sizeof(unsigned long) * 8)