VMware version 12.5.6 is out, and (brief) details are here: http://pubs.vmware.com/Release_Notes/en/workstation/12/workstation-1256-release-notes.html

In the release notes, it would be helpful if a bit more detail than just ” Bug fixes and security updates ” were given…

This version now works OK with Kernel 4.11 without any patches (tested with 4.11.1), but still fails (vmmon) with 4.12 (tested with 4.12-rc1):

...............................
/usr/lib/vmware/modules/source/vmmon-only/./include/pgtbl.h: In function ‘PgtblPGD2PTELocked’:
/usr/lib/vmware/modules/source/vmmon-only/./include/pgtbl.h:125:28: error: passing argument 1 of ‘pud_offset’ from incompatible pointer type [-Werror=incompatible-pointer-types]
 pud = compat_pud_offset(pgd, addr);
 ^
/usr/lib/vmware/modules/source/vmmon-only/./include/compat_pgtable.h:72:56: note: in definition of macro ‘compat_pud_offset’
 # define compat_pud_offset(pgd, address) pud_offset(pgd, address)
 ^~~
In file included from ./include/linux/mm.h:70:0,
 from /usr/lib/vmware/modules/source/vmmon-only/./include/compat_page.h:23,
 from /usr/lib/vmware/modules/source/vmmon-only/linux/hostif.c:32:
./arch/x86/include/asm/pgtable.h:826:22: note: expected ‘p4d_t * {aka struct <anonymous> *}’ but argument is of type ‘compat_pgd_t * {aka struct <anonymous> *}’
 static inline pud_t *pud_offset(p4d_t *p4d, unsigned long address)
 ^~~~~~~~~~
cc1: some warnings being treated as errors
make[2]: *** [scripts/Makefile.build:303: /usr/lib/vmware/modules/source/vmmon-only/linux/hostif.o] Error 1
make[1]: *** [Makefile:1512: _module_/usr/lib/vmware/modules/source/vmmon-only] Error 2
make[1]: Leaving directory '/usr/src/linux-4.12-rc1'
make: *** [Makefile:120: vmmon.ko] Error 2

A similar compile failure also occurs with VirtualBox and Kernel 4.12: https://www.virtualbox.org/ticket/16725 , but there is no solution mentioned there – so far..

The rather messy workarounds are still needed for GCC 7 (Fedora 26 etc.) and details are here: http://rglinuxtech.com/?p=1939 , but remember that the library version numbers will now be different from the examples shown..

Update – May 26:  The workaround no longer works with 12.5.6 – see latest article..

Robert Gadsdon.   May 18, 2017.