/* DxeIplGetBootMode @ 0xffc15fc8 size=0x40 */
int __fastcall DxeIplGetBootMode(int _EAX_1, unsigned int *p_n36, int a3, int a4, _DWORD *a5)
{
  _EAX = _EAX_1; /*0xffc15fdd*/
  __asm { cpuid } /*0xffc15fe0*/
  if ( p_n36 ) /*0xffc15fe6*/
    *p_n36 = _EAX; /*0xffc15fe8*/
  if ( a5 ) /*0xffc15ffc*/
    *a5 = _EDX; /*0xffc15ffe*/
  return _EAX_1; /*0xffc16003*/
}