Searched refs:float_bits (Results 1 – 7 of 7) sorted by relevance
73 float_bits fb; in __floatuntisf()
75 float_bits fb; in __floattisf()
71 float_bits fb; in __floatundisf()
73 float_bits fb; in __floatdisf()
124 } float_bits; typedef
27031 int float_bits = D7_VFP_REGNUM - FIRST_VFP_REGNUM + 1; in cmse_nonsecure_entry_clear_before_return() local27033 bitmap_set_range (to_clear_bitmap, FIRST_VFP_REGNUM, float_bits); in cmse_nonsecure_entry_clear_before_return()
27335 int float_bits = D7_VFP_REGNUM - FIRST_VFP_REGNUM + 1; in cmse_nonsecure_entry_clear_before_return() local27337 bitmap_set_range (to_clear_bitmap, FIRST_VFP_REGNUM, float_bits); in cmse_nonsecure_entry_clear_before_return()