#define HRT_ADDRESS_WIDTH      64              /* Surprise, this is a local property */
 #endif
 
-#if !defined(__KERNEL__) || (1 == 1)
 /* This interface is deprecated */
 #include "hrt/hive_types.h"
-#else  /* __KERNEL__ */
-#include <type_support.h>
-
-#if HRT_ADDRESS_WIDTH == 64
-typedef uint64_t                       hrt_address;
-#elif HRT_ADDRESS_WIDTH == 32
-typedef uint32_t                       hrt_address;
-#else
-#error "system_local.h: HRT_ADDRESS_WIDTH must be one of {32,64}"
-#endif
-
-typedef uint32_t                       hrt_vaddress;
-typedef uint32_t                       hrt_data;
-#endif /* __KERNEL__ */
 
 /*
  * Cell specific address maps
 
 #define HRT_ADDRESS_WIDTH      64              /* Surprise, this is a local property */
 #endif
 
-#if !defined(__KERNEL__) || (1==1)
 /* This interface is deprecated */
 #include "hrt/hive_types.h"
-#else  /* __KERNEL__ */
-#include <linux/types.h>
-
-#if HRT_ADDRESS_WIDTH==64
-typedef uint64_t                       hrt_address;
-#elif HRT_ADDRESS_WIDTH==32
-typedef uint32_t                       hrt_address;
-#else
-#error "system_local.h: HRT_ADDRESS_WIDTH must be one of {32,64}"
-#endif
-
-typedef uint32_t                       hrt_vaddress;
-typedef uint32_t                       hrt_data;
-#endif /* __KERNEL__ */
 
 /*
  * Cell specific address maps
 
 #ifndef __MATH_SUPPORT_H
 #define __MATH_SUPPORT_H
 
-#if defined(__KERNEL__)
 #include <linux/kernel.h> /* Override the definition of max/min from linux kernel*/
-#endif /*__KERNEL__*/
 
 #if defined(_MSC_VER)
 #include <stdlib.h> /* Override the definition of max/min from stdlib.h*/
 #define OP_std_modadd(base, offset, size) ((base+offset)%(size))
 #endif /* !defined(__ISP) */
 
-#if !defined(__KERNEL__)
-#define clamp(a, min_val, max_val) MIN(MAX((a), (min_val)), (max_val))
-#endif /* !defined(__KERNEL__) */
 
 #endif /* __MATH_SUPPORT_H */
 
 
 
 #include <stdarg.h>
-#if !defined(__KERNEL__)
-#include <stdio.h>
-#endif
 
 extern int (*sh_css_printf) (const char *fmt, va_list args);
 /* depends on host supplied print function in ia_css_init() */
 
         * - compare with (uint16_t)~0 or 0xffff
         * - different assert for Linux and Windows
         */
-#ifndef __KERNEL__
-       assert(or_mask <= UINT16_MAX);
-       assert(and_mask <= UINT16_MAX);
-#endif
 
        (void)HIVE_ADDR_host_sp_com; /* Suppres warnings in CRUN */