pub fn magma_device_init<L>(
    locked: &mut Locked<'_, L>,
    current_task: &CurrentTask
)
where L: LockBefore<FileOpsCore>,