hma_fpu_t
hma_fpu_t *guestfpu; /* (a,i) guest fpu state */
kmem_free(fpu, sizeof (hma_fpu_t));
hma_fpu_start_guest(hma_fpu_t *fpu)
hma_fpu_stop_guest(hma_fpu_t *fpu)
hma_fpu_get_xsave_state(const hma_fpu_t *fpu, void *buf, size_t len)
hma_fpu_set_xsave_state(hma_fpu_t *fpu, void *buf, size_t len)
hma_fpu_get_fxsave_state(const hma_fpu_t *fpu, struct fxsave_state *fx)
hma_fpu_set_fxsave_state(hma_fpu_t *fpu, const struct fxsave_state *fx)
hma_fpu_init(hma_fpu_t *fpu)
hma_fpu_free(hma_fpu_t *fpu)
hma_fpu_t *
hma_fpu_t *fpu;
fpu = kmem_zalloc(sizeof (hma_fpu_t), kmflag);
extern hma_fpu_t *hma_fpu_alloc(int);
extern void hma_fpu_free(hma_fpu_t *);
extern int hma_fpu_init(hma_fpu_t *);
extern void hma_fpu_start_guest(hma_fpu_t *);
extern void hma_fpu_stop_guest(hma_fpu_t *);
extern hma_fpu_xsave_result_t hma_fpu_get_xsave_state(const hma_fpu_t *, void *,
extern hma_fpu_xsave_result_t hma_fpu_set_xsave_state(hma_fpu_t *, void *,
extern void hma_fpu_get_fxsave_state(const hma_fpu_t *, struct fxsave_state *);
extern int hma_fpu_set_fxsave_state(hma_fpu_t *, const struct fxsave_state *);