Searched refs:fpu_buffer (Results 1 – 2 of 2) sorted by relevance
17 uint8_t fpu_buffer[512 + 16]; member
215 t->arch.fpu_states = (vaddr_t *)ROUNDUP(((vaddr_t)t->arch.fpu_buffer), 16); in fpu_init_thread_states()
Completed in 3 milliseconds