#include <grub/symbol.h>

FUNCTION (grub_arch_sync_caches)
FUNCTION (grub_cpu_flush_cache)
	j $31