ARM_PDE_TYPE_MASK
directoryEntry & ARM_PDE_TYPE_MASK);
if ((fKernelVirtualPageDirectory[index] & ARM_PDE_TYPE_MASK) == 0) {
if ((method->KernelVirtualPageDirectory()[index] & ARM_PDE_TYPE_MASK) == 0) {
if ((pd[index] & ARM_PDE_TYPE_MASK) == 0) {
if ((pd[index] & ARM_PDE_TYPE_MASK) == 0) {
if ((pd[index] & ARM_PDE_TYPE_MASK) == 0)
if ((pd[index] & ARM_PDE_TYPE_MASK) == 0) {
if ((pd[index] & ARM_PDE_TYPE_MASK) == 0) {
if ((pd[index] & ARM_PDE_TYPE_MASK) == 0) {
if ((pd[index] & ARM_PDE_TYPE_MASK) == 0) {
if ((pd[index] & ARM_PDE_TYPE_MASK) == 0) {
if ((pd[index] & ARM_PDE_TYPE_MASK) == 0) {
if ((pd[index] & ARM_PDE_TYPE_MASK) == 0)
if ((fPagingStructures->pgdir_virt[i] & ARM_PDE_TYPE_MASK) != 0) {