Used by kernel 0.12