The stub implementation appears to already be correct.
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
Committed-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
socket : int;
node : int;
}
- external get : unit -> t = "stub_xl_topologyinfo"
+ external get : unit -> t array = "stub_xl_topologyinfo"
end
socket : int;
node : int;
}
- external get : unit -> t = "stub_xl_topologyinfo"
+ external get : unit -> t array = "stub_xl_topologyinfo"
end
external send_trigger : domid -> trigger -> int -> unit = "stub_xl_send_trigger"