return error;
}
-static long enter_state_helper(void *data)
+static long cf_check enter_state_helper(void *data)
{
struct acpi_sleep_info *sinfo = (struct acpi_sleep_info *)data;
return enter_state(sinfo->sleep_state);
char buffer[];
};
-static long microcode_update_helper(void *data)
+static long cf_check microcode_update_helper(void *data)
{
int ret;
struct ucode_buf *buffer = data;
start_info_t *si);
int pv_shim_shutdown(uint8_t reason);
void pv_shim_inject_evtchn(unsigned int port);
-long pv_shim_cpu_up(void *data);
-long pv_shim_cpu_down(void *data);
+long cf_check pv_shim_cpu_up(void *data);
+long cf_check pv_shim_cpu_down(void *data);
void pv_shim_online_memory(unsigned int nr, unsigned int order);
void pv_shim_offline_memory(unsigned int nr, unsigned int order);
domid_t get_initial_domain_id(void);
{
ASSERT_UNREACHABLE();
}
-static inline long pv_shim_cpu_up(void *data)
+static inline long cf_check pv_shim_cpu_up(void *data)
{
ASSERT_UNREACHABLE();
return 0;
}
-static inline long pv_shim_cpu_down(void *data)
+static inline long cf_check pv_shim_cpu_down(void *data)
{
ASSERT_UNREACHABLE();
return 0;
void __stop_this_cpu(void);
-long cpu_up_helper(void *data);
-long cpu_down_helper(void *data);
+long cf_check cpu_up_helper(void *data);
+long cf_check cpu_down_helper(void *data);
-long core_parking_helper(void *data);
+long cf_check core_parking_helper(void *data);
bool core_parking_remove(unsigned int cpu);
uint32_t get_cur_idle_nums(void);
xenpf_resource_entry_t *entries;
};
-long cpu_frequency_change_helper(void *);
+long cf_check cpu_frequency_change_helper(void *);
void check_resource_access(struct resource_access *);
void resource_access(void *);
# undef guest_from_compat_handle
# define guest_from_compat_handle(x,y) ((x)=(y))
-long cpu_frequency_change_helper(void *data)
+long cf_check cpu_frequency_change_helper(void *data)
{
return cpu_frequency_change((uint64_t)data);
}
#endif
#endif
-long pv_shim_cpu_up(void *data)
+long cf_check pv_shim_cpu_up(void *data)
{
struct vcpu *v = data;
struct domain *d = v->domain;
return 0;
}
-long pv_shim_cpu_down(void *data)
+long cf_check pv_shim_cpu_down(void *data)
{
struct vcpu *v = data;
long rc;
smp_call_function_interrupt();
}
-long cpu_up_helper(void *data)
+long cf_check cpu_up_helper(void *data)
{
unsigned int cpu = (unsigned long)data;
int ret = cpu_up(cpu);
return ret;
}
-long cpu_down_helper(void *data)
+long cf_check cpu_down_helper(void *data)
{
int cpu = (unsigned long)data;
int ret = cpu_down(cpu);
l3_info->size = info.size / 1024; /* in KB unit */
}
-static long smt_up_down_helper(void *data)
+static long cf_check smt_up_down_helper(void *data)
{
bool up = (bool)data;
unsigned int cpu, sibling_mask = boot_cpu_data.x86_num_siblings - 1;
return cpu;
}
-long core_parking_helper(void *data)
+long cf_check core_parking_helper(void *data)
{
uint32_t idle_nums = (unsigned long)data;
unsigned int cpu;
BUG();
}
-static long kexec_reboot(void *_image)
+static long cf_check kexec_reboot(void *_image)
{
struct kexec_image *image = _image;
return ret;
}
-static long cpupool_unassign_cpu_helper(void *info)
+static long cf_check cpupool_unassign_cpu_helper(void *info)
{
struct cpupool *c = info;
long ret;