fn level_to_offset(gfn: u64, level: u64) -> Result<u64>