2009-11-28 23:34:48 +01:00
|
|
|
|
2009-10-09 19:50:31 +02:00
|
|
|
#include <grub/symbol.h>
|
|
|
|
|
2010-09-21 10:14:08 +02:00
|
|
|
.set noreorder
|
2010-09-21 11:22:52 +02:00
|
|
|
.set nomacro
|
2010-09-21 10:14:08 +02:00
|
|
|
|
2009-10-10 13:30:14 +02:00
|
|
|
FUNCTION (grub_cpu_flush_cache)
|
2009-10-18 00:23:00 +02:00
|
|
|
FUNCTION (grub_arch_sync_caches)
|
2009-11-28 23:34:48 +01:00
|
|
|
#include "cache_flush.S"
|
2009-11-23 00:16:49 +01:00
|
|
|
j $ra
|