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