HelenOS sources

PTE_DESCRIPTOR_NOT_PRESENT  142 kernel/arch/arm32/include/arch/mm/page_armv4.h 	int np = (p->descriptor_type == PTE_DESCRIPTOR_NOT_PRESENT);
PTE_DESCRIPTOR_NOT_PRESENT  162 kernel/arch/arm32/include/arch/mm/page_armv4.h 	return ((dt == PTE_DESCRIPTOR_NOT_PRESENT) << PAGE_PRESENT_SHIFT) |
PTE_DESCRIPTOR_NOT_PRESENT  185 kernel/arch/arm32/include/arch/mm/page_armv4.h 		p->descriptor_type = PTE_DESCRIPTOR_NOT_PRESENT;
PTE_DESCRIPTOR_NOT_PRESENT  213 kernel/arch/arm32/include/arch/mm/page_armv4.h 		p->descriptor_type = PTE_DESCRIPTOR_NOT_PRESENT;
PTE_DESCRIPTOR_NOT_PRESENT  169 kernel/arch/arm32/include/arch/mm/page_armv6.h 	const unsigned np = (p->descriptor_type == PTE_DESCRIPTOR_NOT_PRESENT);
PTE_DESCRIPTOR_NOT_PRESENT  190 kernel/arch/arm32/include/arch/mm/page_armv6.h 	return ((dt == PTE_DESCRIPTOR_NOT_PRESENT) << PAGE_PRESENT_SHIFT) |
PTE_DESCRIPTOR_NOT_PRESENT  213 kernel/arch/arm32/include/arch/mm/page_armv6.h 		p->descriptor_type = PTE_DESCRIPTOR_NOT_PRESENT;
PTE_DESCRIPTOR_NOT_PRESENT  246 kernel/arch/arm32/include/arch/mm/page_armv6.h 		p->descriptor_type = PTE_DESCRIPTOR_NOT_PRESENT;