1/* SPDX-License-Identifier: GPL-2.0 */
2/*
3 * Copyright (C) 2004 PathScale, Inc
4 */
5
6#ifndef __REGISTERS_H
7#define __REGISTERS_H
8
9#include <sysdep/ptrace.h>
10
11extern int save_i387_registers(int pid, unsigned long *fp_regs);
12extern int restore_i387_registers(int pid, unsigned long *fp_regs);
13extern int save_fp_registers(int pid, unsigned long *fp_regs);
14extern int restore_fp_registers(int pid, unsigned long *fp_regs);
15extern int save_fpx_registers(int pid, unsigned long *fp_regs);
16extern int restore_fpx_registers(int pid, unsigned long *fp_regs);
17extern int init_pid_registers(int pid);
18extern void get_safe_registers(unsigned long *regs, unsigned long *fp_regs);
19extern int get_fp_registers(int pid, unsigned long *regs);
20extern int put_fp_registers(int pid, unsigned long *regs);
21
22#endif
23