Linux Driver Verification

First of all I don't understand why these defines are needed at all. Next sometimes a large set of defines is placed before commented entity and the same defines set (see attach):

        ...
    #define ew16flash(reg,val)    __ew16flash(hw, (reg), (val))
    #define ew32flash(reg,val)    __ew32flash(hw, (reg), (val))
    /* LDV_COMMENT_END_PREP */
    /* content: static s32 e1000_get_link_up_info_ich8lan(struct e1000_hw *hw, u16 *speed, u16 *duplex)*/
    /* LDV_COMMENT_BEGIN_PREP */
    #define ICH_FLASH_GFPREG        0x0000
    #define ICH_FLASH_HSFSTS        0x0004
        ...