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[1];  // eret_work
  l4_umword_t reserved2[31]; // GP registers
  l4_umword_t ip;            
  l4_umword_t reserved3[2];  // status, cause
  l4_umword_t pfa;           
  l4_umword_t reserved4[1];  // hstatus
};