#include "common/vgetcpu.c"