2 * (C) Copyright 2007-2010 Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
4 * This file is released under the GPLv2. See the COPYING file for more
11 static inline u64
getcpuid()
25 static inline u16
getcpuaddr()
39 #define BIT64(x) (1u << (63-(x)))
40 #define BIT32(x) (1u << (31-(x)))
42 #define set_cr(cr, val) \