+++ /dev/null
-//
-// Kernel.hpp
-// KDBG
-//
-// Created by James McIlree on 4/17/13.
-// Copyright (c) 2014 Apple. All rights reserved.
-//
-
-#ifndef __kdprof__Kernel__
-#define __kdprof__Kernel__
-
-enum class KernelSize { k32, k64 };
-
-class Kernel {
- public:
- static bool is_64_bit();
- static uint32_t active_cpu_count();
-};
-
-#endif /* defined(__kdprof__Kernel__) */