fpu_sync_guest_vmexit_xfd_state
static inline void fpu_sync_guest_vmexit_xfd_state(void) { }
void fpu_sync_guest_vmexit_xfd_state(void)