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

/barrelfish-master/include/arch/x86_32/barrelfish_kpi/
H A Dpaging_arch.h15 #ifndef ARCH_X86_32_BARRELFISH_KPI_PAGING_H
16 #define ARCH_X86_32_BARRELFISH_KPI_PAGING_H macro
61 #endif // ARCH_X86_32_BARRELFISH_KPI_PAGING_H

Completed in 78 milliseconds