Lines Matching defs:kernel_vaddr
7890 vm_offset_t kernel_vaddr;
7948 kernel_vaddr = CAST_DOWN(vm_offset_t, kernel_mapping_offset);
7977 aes_encrypt_cbc((const unsigned char *) kernel_vaddr,
7980 (unsigned char *) kernel_vaddr,
8032 vm_offset_t kernel_vaddr;
8080 kernel_vaddr = CAST_DOWN(vm_offset_t, kernel_mapping_offset);
8104 aes_decrypt_cbc((const unsigned char *) kernel_vaddr,
8107 (unsigned char *) kernel_vaddr,
8118 kernel_vaddr,
8119 kernel_vaddr + PAGE_SIZE);
8726 vm_offset_t kernel_vaddr;
8768 kernel_vaddr = CAST_DOWN(vm_offset_t, kernel_mapping_offset);
8780 kr = vm_shared_region_slide_page(page->object->vo_slide_info, kernel_vaddr, pageIndex);
8788 kernel_vaddr,
8789 kernel_vaddr + PAGE_SIZE);