// Copyright CHERIoT Contributors.
// SPDX-License-Identifier: MIT

#pragma once

#include <assembly-helpers.h>

EXPORT_ASSEMBLY_OFFSET(__jmp_buf, __cs0, 0)
EXPORT_ASSEMBLY_OFFSET(__jmp_buf, __cs1, 8)
EXPORT_ASSEMBLY_OFFSET(__jmp_buf, __csp, 16)
EXPORT_ASSEMBLY_OFFSET(__jmp_buf, __cra, 24)