Lines Matching defs:kernel_vaddr
7072 vm_offset_t kernel_vaddr;
7127 kernel_vaddr = CAST_DOWN(vm_offset_t, kernel_mapping_offset);
7156 aes_encrypt_cbc((const unsigned char *) kernel_vaddr,
7159 (unsigned char *) kernel_vaddr,
7211 vm_offset_t kernel_vaddr;
7255 kernel_vaddr = CAST_DOWN(vm_offset_t, kernel_mapping_offset);
7279 aes_decrypt_cbc((const unsigned char *) kernel_vaddr,
7282 (unsigned char *) kernel_vaddr,
7293 kernel_vaddr,
7294 kernel_vaddr + PAGE_SIZE);
7898 vm_offset_t kernel_vaddr;
7935 kernel_vaddr = CAST_DOWN(vm_offset_t, kernel_mapping_offset);
7944 kr = vm_shared_region_slide(kernel_vaddr, pageIndex);
7952 kernel_vaddr,
7953 kernel_vaddr + PAGE_SIZE);