andreiw

void c_gate_entry(uint64_t *regs)
{
  uint64_t gate = regs[15];
  unsigned ix = 0;
  uint64_t pc;
  uint64_t sp;
  uint64_t cr2;

  warn("Gate = 0x%lx", gate);
  warn("----------------------");