K 10 svn:author V 6 andrew K 8 svn:date V 27 2014-02-15T18:06:49.345549Z K 7 svn:log V 81 Add arm64_efi_translate to get a physical address from a kernel virtual address. END