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

/barrelfish-master/include/arch/x86_64/barrelfish_kpi/
H A Dpaging_arch.h43 #define PTABLE_ATTR_INDEX X86_64_PTABLE_ATTR_INDEX
/barrelfish-master/usr/arrakismon/
H A Dpaging.h23 (X86_64_PTABLE_GLOBAL_PAGE | X86_64_PTABLE_ATTR_INDEX | \
271 tmp.huge.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
301 tmp.large.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
330 tmp.base.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
359 tmp.huge.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
387 tmp.large.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
413 tmp.base.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
/barrelfish-master/usr/tests/nested_paging_test/
H A Dnestedpaging.h23 (X86_64_PTABLE_GLOBAL_PAGE | X86_64_PTABLE_ATTR_INDEX | \
260 tmp.huge.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
290 tmp.large.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
319 tmp.base.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
348 tmp.huge.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
376 tmp.large.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
402 tmp.base.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
/barrelfish-master/include/target/x86_64/barrelfish_kpi/
H A Dpaging_target.h47 #define X86_64_PTABLE_ATTR_INDEX (((paging_x86_64_flags_t)1) << 7) macro
/barrelfish-master/lib/posixcompat/
H A Dnestedpaging.h23 (X86_64_PTABLE_GLOBAL_PAGE | X86_64_PTABLE_ATTR_INDEX | \
260 tmp.huge.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
290 tmp.large.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
319 tmp.base.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
348 tmp.huge.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
376 tmp.large.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
402 tmp.base.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
/barrelfish-master/kernel/include/target/x86_64/
H A Dpaging_kernel_target.h36 (X86_64_PTABLE_ATTR_INDEX | X86_64_PTABLE_DIRTY | \
41 (X86_64_PTABLE_GLOBAL_PAGE | X86_64_PTABLE_ATTR_INDEX | \
319 tmp.huge.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
372 tmp.large.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
421 tmp.base.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
476 tmp.huge.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
509 tmp.large.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;
535 tmp.base.attr_index = bitmap & X86_64_PTABLE_ATTR_INDEX ? 1 : 0;

Completed in 52 milliseconds