CHAPTER 1

Kernel Programming

---

How to Debug

See the Writing Device Drivers book for general tips on kernel debugging.

---

Note - In the 64-bit kernel, 64-bit quantities, such as a pointer or a long variable, need to be printed using the /J specifier to kadb or adb. /X still refers to 32-bit quantities. The new /K specifier prints a pointer or a long variable appropriately on both 32-bit and 64-bit kernels.

---

<< Previous | Contents | Next >>