Search

Home

Sort by

Full Search
Definition
Symbol
File Path
History
Type

In Project(s)

Searched refs:X86_64_PTABLE_ACCESSED (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/include/arch/x86_64/barrelfish_kpi/
H A D	paging_arch.h	`45 #define PTABLE_ACCESSED X86_64_PTABLE_ACCESSED`
/barrelfish-master/include/target/x86_64/barrelfish_kpi/
H A D	paging_target.h	`49 #define X86_64_PTABLE_ACCESSED (((paging_x86_64_flags_t)1) << 5) macro`
/barrelfish-master/kernel/include/target/x86_64/
H A D	paging_kernel_target.h	`37 X86_64_PTABLE_ACCESSED \| X86_64_PTABLE_CACHE_DISABLED \| \ 42 X86_64_PTABLE_DIRTY \| X86_64_PTABLE_ACCESSED \| \`
/barrelfish-master/usr/arrakismon/
H A D	paging.h	`24 X86_64_PTABLE_DIRTY \| X86_64_PTABLE_ACCESSED \| \`
/barrelfish-master/usr/tests/nested_paging_test/
H A D	nestedpaging.h	`24 X86_64_PTABLE_DIRTY \| X86_64_PTABLE_ACCESSED \| \`
/barrelfish-master/lib/posixcompat/
H A D	nestedpaging.h	`24 X86_64_PTABLE_DIRTY \| X86_64_PTABLE_ACCESSED \| \`

Completed in 59 milliseconds