From 60ee0af76146b696b19c5697cc9a728d2030c058 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Sun, 7 Aug 2016 22:21:24 +0200 Subject: [PATCH] some code cleanups --- hermit/arch/x86/loader/page.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/hermit/arch/x86/loader/page.c b/hermit/arch/x86/loader/page.c index e316aae08..3b88adbf8 100644 --- a/hermit/arch/x86/loader/page.c +++ b/hermit/arch/x86/loader/page.c @@ -81,8 +81,8 @@ static size_t * const other[PAGE_LEVELS] = { #endif /** @brief Flush a specific page entry in TLB - * * @param addr The (virtual) address of the page to flush - * */ + * @param addr The (virtual) address of the page to flush + */ static inline void tlb_flush_one_page(size_t addr) { asm volatile("invlpg (%0)" : : "r"(addr) : "memory");