#include <stdio.h>

int main(void)
{
  unsigned int eax, edx;

  asm(".byte 0x0f,0x1f,0x84,0x00,0x98,0x98,0x98,0x98,0x92,0x90,0x90,0x90"
      : "=a" (eax), "=d" (edx)
      : "a" (0x88776655), "d" (0x44332211));

  printf("%08x:%08x\n", edx, eax);
  return 0;
}