Files
exectos/xtoskrnl/includes/amd64/asmsup.h