# LaTeX2HTML 2008 (1.71)
# Associate internals original text with physical files.


$key = q/c:memory/;
$ref_files{$key} = "$dir".q|interface.html|; 
$noresave{$key} = "$nosave";

$key = q/c:devices/;
$ref_files{$key} = "$dir".q|interface.html|; 
$noresave{$key} = "$nosave";

$key = q/c:eventchannels/;
$ref_files{$key} = "$dir".q|interface.html|; 
$noresave{$key} = "$nosave";

$key = q/c:granttables/;
$ref_files{$key} = "$dir".q|interface.html|; 
$noresave{$key} = "$nosave";

$key = q/a:hypercalls/;
$ref_files{$key} = "$dir".q|interface.html|; 
$noresave{$key} = "$nosave";

$key = q/s:idc/;
$ref_files{$key} = "$dir".q|interface.html|; 
$noresave{$key} = "$nosave";

$key = q/s:acmops/;
$ref_files{$key} = "$dir".q|interface.html|; 
$noresave{$key} = "$nosave";

$key = q/s:dom0ops/;
$ref_files{$key} = "$dir".q|interface.html|; 
$noresave{$key} = "$nosave";

1;