Lines Matching defs:slot
36 static errval_t x86_64_non_ptable(struct capability *dest, cslot_t slot,
42 if (slot >= X86_64_PTABLE_SIZE) { // Within pagetable
51 if (slot + pte_count > X86_64_PTABLE_SIZE) { // mapping size ok
64 if(slot >= X86_64_PML4_BASE(MEMORY_OFFSET)) { // Kernel mapped here
160 slot, pte_count);
162 cslot_t last_slot = slot + pte_count;
163 for (; slot < last_slot; slot++, offset += page_size) {
165 union x86_64_pdir_entry *entry = (union x86_64_pdir_entry *)dest_lv + slot;
171 debug(SUBSYS_PAGING, "slot in use\n");
172 printk(LOG_NOTE, "slot = 0x%016"PRIx64"\n", entry->raw);
194 static errval_t x86_64_ptable(struct capability *dest, cslot_t slot,
200 if (slot >= X86_64_PTABLE_SIZE) { // Within pagetable
205 if (slot + pte_count > X86_64_PTABLE_SIZE) { // mapping size ok
250 slot, pte_count);
252 cslot_t last_slot = slot + pte_count;
253 for (; slot < last_slot; slot++, offset += X86_64_BASE_PAGE_SIZE) {
255 (union x86_64_ptable_entry *)dest_lv + slot;
341 size_t do_unmap(lvaddr_t pt, cslot_t slot, size_t num_pages)
345 union x86_64_ptable_entry *ptentry = (union x86_64_ptable_entry *)pt + slot;