Jeff Fan d32c7f6cab UefiCpuPkg: Add some CPUID definitions ... Contributed-under: TianoCore Contribution Agreement 1.0 Signed-off-by: Jeff Fan <jeff.fan@intel.com> Reviewed-by: Feng Tian <feng.tian@intel.com> Reviewed-by: Jiewen Yao <jiewen.yao@intel.com> git-svn-id: https://svn.code.sf.net/p/edk2/code/trunk/edk2@18001 6f19259b-4bc3-4df7-8a09-765794883524		2015-07-15 03:40:12 +00:00
..
Library	1. Save/restore ICR high 32bit value and check Delivery Status before sending IPI. It could be fix the interrupted issue between ICR high/low writes by SMI handler.	2014-07-11 02:36:56 +00:00
Register	UefiCpuPkg: Add some CPUID definitions	2015-07-15 03:40:12 +00:00