Searched refs:X86_64_PTABLE_CLEAR (Results 1 - 7 of 7) sorted by relevance

/barrelfish-master/include/arch/x86_64/barrelfish_kpi/
H A Dpaging_arch.h55 #define PTABLE_CLEAR X86_64_PTABLE_CLEAR
/barrelfish-master/kernel/include/target/x86_64/
H A Dpaging_kernel_target.h241 p[i].raw = X86_64_PTABLE_CLEAR;
256 p[i].raw = X86_64_PTABLE_CLEAR;
273 tmp.raw = X86_64_PTABLE_CLEAR;
287 tmp.raw = X86_64_PTABLE_CLEAR;
311 tmp.raw = X86_64_PTABLE_CLEAR;
331 tmp.raw = X86_64_PTABLE_CLEAR;
359 tmp.raw = X86_64_PTABLE_CLEAR;
385 tmp.raw = X86_64_PTABLE_CLEAR;
414 tmp.raw = X86_64_PTABLE_CLEAR;
439 tmp.raw = X86_64_PTABLE_CLEAR;
[all...]
/barrelfish-master/include/target/x86_64/barrelfish_kpi/
H A Dpaging_target.h62 #define X86_64_PTABLE_CLEAR 0 /**< Bitmap of a clear table entry */ macro
/barrelfish-master/usr/arrakismon/
H A Dpaging.h206 tmp.raw = X86_64_PTABLE_CLEAR;
263 tmp.raw = X86_64_PTABLE_CLEAR;
293 tmp.raw = X86_64_PTABLE_CLEAR;
323 tmp.raw = X86_64_PTABLE_CLEAR;
422 entry->raw = X86_64_PTABLE_CLEAR;
H A Dguest.c767 tmp.raw = X86_64_PTABLE_CLEAR;
/barrelfish-master/usr/tests/nested_paging_test/
H A Dnestedpaging.h195 tmp.raw = X86_64_PTABLE_CLEAR;
252 tmp.raw = X86_64_PTABLE_CLEAR;
282 tmp.raw = X86_64_PTABLE_CLEAR;
312 tmp.raw = X86_64_PTABLE_CLEAR;
411 entry->raw = X86_64_PTABLE_CLEAR;
/barrelfish-master/lib/posixcompat/
H A Dnestedpaging.h195 tmp.raw = X86_64_PTABLE_CLEAR;
252 tmp.raw = X86_64_PTABLE_CLEAR;
282 tmp.raw = X86_64_PTABLE_CLEAR;
312 tmp.raw = X86_64_PTABLE_CLEAR;
411 entry->raw = X86_64_PTABLE_CLEAR;

Completed in 114 milliseconds