Searched refs:reserve_ds_buffers (Results 1 – 3 of 3) sorted by relevance
1477 void reserve_ds_buffers(void);1634 static inline void reserve_ds_buffers(void) in reserve_ds_buffers() function
407 reserve_ds_buffers(); in x86_reserve_hardware()
648 void reserve_ds_buffers(void) in reserve_ds_buffers() function