linux/drivers/misc/bcm-vk/bcm_vk.h