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 pfa;           
  l4_umword_t reserved1[1];  // err
  l4_umword_t reserved2[16]; // GP registers, sp, ulr, dummy
  l4_umword_t ip;            
  l4_umword_t reserved3[1];  // cpsr
};