static void update_cpb(void *data)
{
- struct cpufreq_policy *policy = (struct cpufreq_policy *)data;
+ struct cpufreq_policy *policy = data;
if (policy->turbo != CPUFREQ_TURBO_UNSUPPORTED) {
uint64_t msr_content;
static void vpmu_save_force(void *arg)
{
- struct vcpu *v = (struct vcpu *)arg;
+ struct vcpu *v = arg;
struct vpmu_struct *vpmu = vcpu_vpmu(v);
if ( !vpmu_is_set(vpmu, VPMU_CONTEXT_LOADED) )
static void hpet_interrupt_handler(int irq, void *data,
struct cpu_user_regs *regs)
{
- struct hpet_event_channel *ch = (struct hpet_event_channel *)data;
+ struct hpet_event_channel *ch = data;
this_cpu(irq_count)--;
memcpy(dest, &h->data[h->cur], d->length);
if ( d->length < dest_len )
- memset((char *)dest + d->length, 0, dest_len - d->length);
+ memset(dest + d->length, 0, dest_len - d->length);
h->cur += d->length;
}
return offset;
}
-u64 get_vvmcs_virtual(void *vvmcs, u32 vmcs_encoding)
+uint64_t get_vvmcs_virtual(void *vvmcs, uint32_t vmcs_encoding)
{
union vmcs_encoding enc;
- u64 *content = (u64 *) vvmcs;
+ uint64_t *content = vvmcs;
int offset;
- u64 res;
+ uint64_t res;
enc.word = vmcs_encoding;
offset = vvmcs_offset(enc.width, enc.type, enc.index);
return virtual_vmcs_vmread_safe(v, encoding, val);
}
-void set_vvmcs_virtual(void *vvmcs, u32 vmcs_encoding, u64 val)
+void set_vvmcs_virtual(void *vvmcs, uint32_t vmcs_encoding, uint64_t val)
{
union vmcs_encoding enc;
- u64 *content = (u64 *) vvmcs;
+ uint64_t *content = vvmcs;
int offset;
- u64 res;
+ uint64_t res;
enc.word = vmcs_encoding;
offset = vvmcs_offset(enc.width, enc.type, enc.index);