Lines Matching refs:label
1135 word_t label,
1152 if (label == X86PageDirectoryUnmap) {
1163 if (label != X86PageDirectoryMap) {
1300 word_t label,
1316 if (label == X86PDPTUnmap) {
1328 if (label != X86PDPTMap) {
1407 word_t label,
1423 return decodeX64PDPTInvocation(label, length, cte, cap, extraCaps, buffer);
1426 return decodeX64PageDirectoryInvocation(label, length, cte, cap, extraCaps, buffer);
1509 exception_t decodeX86ModeMapPage(word_t label, vm_page_size_t page_size, cte_t *cte, cap_t cap,
1522 switch (label) {