Switched names in kernel