Searched refs:reserve_ds_buffers (Results 1 – 3 of 3) sorted by relevance
1575 void reserve_ds_buffers(void);1755 static inline void reserve_ds_buffers(void) in reserve_ds_buffers() function
413 reserve_ds_buffers(); in x86_reserve_hardware()
758 void reserve_ds_buffers(void) in reserve_ds_buffers() function