Lines Matching refs:slot
335 cslot_t slot,
349 if (slot >= 4096) {
350 panic("oops: slot >= 4096");
373 if (slot + pte_count > 4096) {
381 union arm_l1_entry* entry = ((union arm_l1_entry*)dest_lvaddr) + slot;
391 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
411 dest_lvaddr, slot, entry, entry->raw);
420 if (slot >= ARM_L1_MAX_ENTRIES) {
421 printf("slot = %"PRIuCSLOT"\n",slot);
436 if (slot + pte_count > 4096) {
441 if (slot >= ARM_L1_OFFSET(MEMORY_OFFSET)) {
442 printf("slot = %"PRIuCSLOT"\n",slot);
447 pte_count, slot);
452 union arm_l1_entry* entry = (union arm_l1_entry*)dest_lvaddr + slot;
461 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
475 slot + i, entry, entry->raw);
485 cslot_t slot,
494 if (slot >= ARM_L2_MAX_ENTRIES) {
495 panic("oops: slot >= 256");
514 if (slot + pte_count > ARM_L2_MAX_ENTRIES) {
522 union arm_l2_entry* entry = (union arm_l2_entry*)dest_lvaddr + slot;
532 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
545 dest_lvaddr, slot, entry, entry->raw);
605 size_t do_unmap(lvaddr_t pt, cslot_t slot, size_t num_pages)
608 union arm_l2_entry *ptentry = (union arm_l2_entry *)pt + slot;