K 10 svn:author V 3 ian K 8 svn:date V 27 2014-02-09T14:35:44.017626Z K 7 svn:log V 92 Use vm_paddr_t, not vm_offset_t, when dealing with physical addresses. Pointed out by: alc END