blob: cf2729c2450fe1e793d219dcb1ae5a64a7ac6939 [file] [log] [blame]
/* 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)