Searched refs:arch_fpu_type (Results 1 – 2 of 2) sorted by relevance
29 int arch_fpu_type; variable61 arch_fpu_type = args->arch_args.fpu_type; in arch_cpu_init()
540 extern int arch_fpu_type;