hma_fpu_get_xsave_state
res = hma_fpu_get_xsave_state(vcpu->guestfpu, buf, len);
extern hma_fpu_xsave_result_t hma_fpu_get_xsave_state(const hma_fpu_t *, void *,
