/dev/../usr/include/linux/sev-guest.h