Geoff Chappell, Software Analyst
The public symbol file NTKRPAMP.PDB for the original release of Windows 10 tells that the kernel is built with the TOKENP.H header at
d:\th\minkernel\ntos\se
and draws from it the following type definitions:
| Line Number | Type |
|---|---|
| 143 | struct _SEP_AUDIT_POLICY |
| 148 | struct _SEP_TOKEN_PRIVILEGES |
| 233 | struct _TOKEN |
The header TOKENP.H is not known in any Device Driver Kit (DDK) or Windows Driver Kit (WDK).