xc_dt_overlay() sends the device tree binary overlay, size of .dtbo and overlay operation type i.e. add or remove to xen. Signed-off-by: Vikram Garhwal <vikram.garhwal@amd.com> Reviewed-by: Anthony PERARD <anthony.perard@citrix.com>