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
 
#include <l4/sys/types.h>
#include <l4/sys/compiler.h>
#include <l4/sys/l4int.h>


enum L4_pf_trampoline_flags
{
  Page_fault_in_progress = 1 << 0,
  Trigger_exception_after_resume = 1 << 1,
};

typedef struct l4_pf_trampoline_regs_t l4_pf_trampoline_regs_t;

typedef struct l4_pf_trampoline_t l4_pf_trampoline_t;
 
#include <l4/sys/arch/pf_trampoline.h>
 

typedef struct l4_pf_trampoline_t
{
  l4_umword_t   handler_ip;   
  l4_umword_t   user_data[2]; 
  l4_umword_t   saved_mr0;    
  l4_umword_t   flags;        
  l4_pf_trampoline_regs_t state; 
} l4_pf_trampoline_t;