Lines Matching refs:slot
329 cslot_t slot,
347 if (slot >= VMSAv8_64_PTABLE_NUM_ENTRIES) {
348 printf("slot = %"PRIuCSLOT"\n",slot);
349 panic("oops: slot id >= %d", VMSAv8_64_PTABLE_NUM_ENTRIES);
367 // if (slot >= VMSAv8_64_PTABLE_NUM_ENTRIES) {
368 // printf("slot = %"PRIuCSLOT", max=%d MEMORY_OFFSET=%p\n", slot, VMSAv8_64_L0_BASE(MEMORY_OFFSET),MEMORY_OFFSET);
369 // panic("oops: l0 slot id");
377 union armv8_ttable_entry* entry = (union armv8_ttable_entry*) dest_lvaddr + slot;
392 debug(SUBSYS_PAGING, "slot in use\n");
396 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
403 slot, entry, entry->raw);
411 cslot_t slot,
429 if (slot >= VMSAv8_64_PTABLE_NUM_ENTRIES) {
430 printf("slot = %"PRIuCSLOT"\n",slot);
431 panic("oops: slot id >= %d", VMSAv8_64_PTABLE_NUM_ENTRIES);
446 if (slot >= VMSAv8_64_PTABLE_NUM_ENTRIES) {
447 printf("slot = %"PRIuCSLOT"\n",slot);
448 panic("oops: l1 slot id");
456 union armv8_ttable_entry* entry = (union armv8_ttable_entry*) dest_lvaddr + slot;
469 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
476 slot, entry, entry->raw);
485 cslot_t slot,
502 if (slot >= VMSAv8_64_PTABLE_NUM_ENTRIES) {
503 printf("slot = %"PRIuCSLOT"\n", slot);
504 panic("oops: slot id >= 512");
519 if (slot > VMSAv8_64_PTABLE_NUM_ENTRIES) {
520 printf("slot = %"PRIuCSLOT"\n",slot);
521 panic("oops: l2 slot id");
529 union armv8_ttable_entry* entry = (union armv8_ttable_entry*) dest_lvaddr + slot;
539 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
546 slot, entry, entry->raw);
556 cslot_t slot,
567 if (slot >= VMSAv8_64_PTABLE_NUM_ENTRIES) {
568 panic("oops: slot >= 512");
585 if (slot + pte_count > VMSAv8_64_PTABLE_NUM_ENTRIES ) {
593 union armv8_ttable_entry *entry = (union armv8_ttable_entry *)dest_lvaddr + slot;
603 create_mapping_cap(mapping_cte, src, cte_for_cap(dest), slot, pte_count);
614 dest_lvaddr, slot, entry, entry->raw);
678 size_t do_unmap(lvaddr_t pt, cslot_t slot, size_t num_pages)
681 union armv8_ttable_entry *ptentry = (union armv8_ttable_entry *)pt + slot;
689 static inline void read_pt_entry(struct capability *pgtable, size_t slot, genpaddr_t *paddr)