review.coreboot.org / coreboot / dc4ae11366eedea20b8b2c530cdd830a3e256ef2 / src / soc / intel / common / opregion.h