Conforming to Linux kernel style identifier naming convention