IOPTE_VALID
#define IOPTE_VALID 0x00000002 /* IOPTE is valid */
#define IOPTE_VALID 0x8000000000000000UL