Files
grub/grub-core/kern
Vladimir 'phcoder' Serbinenko f1a6254cf1 Flush block cache on adding disk to device map.
* grub-core/kern/emu/hostdisk.c (flush_initial_buffer): New function.
	(grub_hostdisk_os_dev_to_grub_drive): Call flush_initial_buffer on
	adding.
	(read_device_map): Likewise.
	(open_device): Flush on opening.
2012-05-11 21:03:47 +02:00
..
2012-02-12 03:52:17 +01:00
2012-02-26 22:49:24 +01:00
2012-02-12 15:25:25 +01:00
2010-05-06 11:34:04 +05:30
2011-07-05 23:46:15 +02:00