pf_trampoline.h

Go to the documentation of this file.

/*
 * Copyright (C) 2026 Kernkonzept GmbH.
 * Author(s): Frank Mehnert <frank.mehnert@kernkonzept.com>
 *
 * License: see LICENSE.spdx (in this directory or the directories above)
 */

 
#pragma once


struct l4_pf_trampoline_regs_t
{
  l4_umword_t reserved1[34]; // eret_work, GP registers, err
  l4_umword_t pfa;           
  l4_umword_t reserved2[1];  // sp
  l4_umword_t ip;            
  l4_umword_t reserved3[1];  // pstate
};