Searched refs:reserve_ds_buffers (Results 1 – 3 of 3) sorted by relevance
1475 void reserve_ds_buffers(void);1626 static inline void reserve_ds_buffers(void) in reserve_ds_buffers() function
405 reserve_ds_buffers(); in x86_reserve_hardware()
593 void reserve_ds_buffers(void) in reserve_ds_buffers() function