add build kerneldeb -- modify dts

hc

2023-10-25 6c2073b7aa40e29d0eca7d571dd7bc590c7ecaa7

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
// SPDX-License-Identifier: GPL-2.0
#include <linux/types.h>
 
#include <xen/xen.h>
#include <xen/features.h>
#include <xen/interface/features.h>
 
#include "xen-ops.h"
 
void xen_hvm_post_suspend(int suspend_cancelled)
{
    if (!suspend_cancelled) {
        xen_hvm_init_shared_info();
        xen_vcpu_restore();
    }
    xen_callback_vector();
    xen_unplug_emulated_devices();
}