This is kernel code.