If the APIs are designed well, you:
1- Won't be dealing with structs directly, only through accessors /
mutators (ABI stability).
2- Won't have to know / care what underlying type you're dealing with
anyway.
If we ever want to have a chance of supporting a modular kernel really
well, then we need to have better ABI stability in our kernel, which
means forcing the issue of opaque types.
-- thorpej