Lines Matching defs:kernel_vaddr
5707 vm_offset_t kernel_vaddr;
5761 kernel_vaddr = CAST_DOWN(vm_offset_t, kernel_mapping_offset);
5790 aes_encrypt_cbc((const unsigned char *) kernel_vaddr,
5793 (unsigned char *) kernel_vaddr,
5845 vm_offset_t kernel_vaddr;
5886 kernel_vaddr = CAST_DOWN(vm_offset_t, kernel_mapping_offset);
5910 aes_decrypt_cbc((const unsigned char *) kernel_vaddr,
5913 (unsigned char *) kernel_vaddr,
5924 kernel_vaddr,
5925 kernel_vaddr + PAGE_SIZE);