acrn-kernel/tools/include/vdso
..
bits.h
const.h