Searched refs:libos_handle (Results 1 – 1 of 1) sorted by relevance
167 let libos_handle = self.libos.dma_handle(); in boot() localVariable170 Some(libos_handle as u32), in boot()171 Some((libos_handle >> 32) as u32), in boot()228 libos_dma_handle: libos_handle, in boot()