qemu with hax to log dma reads & writes
jcs.org/2018/11/12/vfio
1/*
2 * Common Float Helpers
3 *
4 * Copyright (c) 2019 Linaro
5 *
6 * SPDX-License-Identifier: GPL-3.0-or-later
7 */
8
9#include <inttypes.h>
10
11/* Number of constants in each table */
12int get_num_f16(void);
13int get_num_f32(void);
14int get_num_f64(void);
15
16/* Accessor helpers, overflows will automatically wrap */
17uint16_t get_f16(int i); /* use _Float16 when we can */
18float get_f32(int i);
19double get_f64(int i);
20
21/* Return format strings, free after use */
22char * fmt_f16(uint16_t);
23char * fmt_f32(float);
24char * fmt_f64(double);
25/* exception flags */
26char * fmt_flags(void);