IS_KERNEL_ADDRESS
#define IS_KERNEL_ADDRESS(x) \
# define IS_KERNEL_ADDRESS(x) ((addr_t)(x) <= KERNEL_TOP)
# define IS_KERNEL_ADDRESS(x) ((addr_t)(x) >= KERNEL_BASE)
# define IS_KERNEL_ADDRESS(x) \