Searched refs:mappingtype (Results 1 - 2 of 2) sorted by path

/barrelfish-2018-10-04/kernel/
H A Dcapabilities.c61 char *mappingtype; local
152 mappingtype = "Frame";
155 mappingtype = "DevFrame";
159 mappingtype = "x86_64 PML4";
162 mappingtype = "x86_64 PDPT";
165 mappingtype = "x86_64 PDIR";
168 mappingtype = "x86_64 PTABLE";
172 mappingtype = "x86_32 PDPT";
175 mappingtype = "x86_32 PDIR";
178 mappingtype
[all...]
/barrelfish-2018-10-04/lib/barrelfish/
H A Ddebug.c138 char *mappingtype; local
230 mappingtype = "Frame";
233 mappingtype = "DevFrame";
237 mappingtype = "x86_64 PML4";
240 mappingtype = "x86_64 PDPT";
243 mappingtype = "x86_64 PDIR";
246 mappingtype = "x86_64 PTABLE";
250 mappingtype = "x86_32 PDPT";
253 mappingtype = "x86_32 PDIR";
256 mappingtype
[all...]

Completed in 51 milliseconds