diff --git a/hermit/arch/x86/include/asm/processor.h b/hermit/arch/x86/include/asm/processor.h
index 651952680..d63536313 100644
--- a/hermit/arch/x86/include/asm/processor.h
+++ b/hermit/arch/x86/include/asm/processor.h
@@ -270,6 +270,10 @@ inline static uint32_t has_xsave(void) {
 	return (cpu_info.feature2 & CPU_FEATURE_XSAVE);
 }
 
+inline static uint32_t has_osxsave(void) {
+	return (cpu_info.feature2 & CPU_FEATURE_OSXSAVE);
+}
+
 inline static uint32_t has_avx(void) {
 	return (cpu_info.feature2 & CPU_FEATURE_AVX);
 }