428
434
%define X86_PML4E_PCD RT_BIT(4)
429
435
%define X86_PML4E_A RT_BIT(5)
430
436
%define X86_PML4E_AVL_MASK (RT_BIT(9) | RT_BIT(10) | RT_BIT(11))
437
440
%define X86_PML4E_NX RT_BIT_64(63)
438
441
%define X86_PML4_SHIFT 39
439
442
%define X86_PML4_MASK 0x1ff