/* 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) |