Searched refs:hma_fpu_init (Results 1 – 3 of 3) sorted by relevance
131 extern int hma_fpu_init(hma_fpu_t *);
46 hma_fpu_init(hma_fpu_t *fpu) in hma_fpu_init() function
423 (void) hma_fpu_init(vcpu->guestfpu); in vcpu_init()3141 (void) hma_fpu_init(vcpu->guestfpu); in vcpu_arch_reset()