updated to match linux kernel coding style