1 (* 'df' command for virtual domains.
3 (C) Copyright 2007 Richard W.M. Jones, Red Hat Inc.
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2 of the License, or
9 (at your option) any later version.
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with this program; if not, write to the Free Software
18 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
20 Support for Linux swap partitions.
28 let blocksize = ~^4096 (* XXX *)
31 (* Load the "superblock" (ie. first 0x1000 bytes). *)
32 let bits = dev#read_bitstring ~^0 ~^0x1000 in
36 _ : 8*0x1000 - 10*8 : bitstring;
37 ("SWAP-SPACE"|"SWAPSPACE2") : 80 : string
40 let fs_dev = new blocksize_overlay blocksize dev in
45 fs_blocksize = blocksize;
46 fs_blocks_total = fs_dev#size /^ blocksize;
48 (* The remaining fields are ignored when fs_is_swap is true. *)
50 fs_blocks_reserved = ~^0;
51 fs_blocks_avail = ~^0;
53 fs_inodes_total = ~^0;
54 fs_inodes_reserved = ~^0;
55 fs_inodes_avail = ~^0;
60 raise Not_found (* Not Linux swapspace. *)
62 (* Linux swap space is always 'free', apart from the superblock.
63 * Compare diskimage_linux_swsuspend.ml
65 and offset_is_free _ offset = offset >= blocksize
70 fs_cb_uq = (incr i; !i);
72 fs_cb_printable_name = "Linux swap";
73 fs_cb_offset_is_free = offset_is_free;
76 (* Register the plugin. *)
77 let () = register_plugin ~filesystem:probe id