Comment 10 for bug 454285

Revision history for this message
Stefan Bader (smb) wrote :

Kees, Just in case you get chided for the more that 80c line, we started a beauty contest for it and would have the following candidates ;-)

nx_enabled = ( (__supported_pte_mask & _PAGE_NX) != 0)
or
nx_enabled = !!(__supported_pte_mask & _PAGE_NX)

Currently applying your patch and will give test feedback here.