Edited to match kernel code style