switch (ARG1) {
case XENMEM_set_memory_map: {
- xen_foreign_memory_map_t *arg =
- (xen_foreign_memory_map_t *)(unsigned int)ARG2;
+ xen_foreign_memory_map_t *arg =(xen_foreign_memory_map_t *)ARG2;
PRE_MEM_READ("XENMEM_set_memory_map",
(Addr)&arg->domid, sizeof(arg->domid));
PRE_MEM_READ("XENMEM_set_memory_map",
case XENMEM_decrease_reservation:
case XENMEM_populate_physmap: {
struct xen_memory_reservation *memory_reservation =
- (struct xen_memory_reservation *)(unsigned int)ARG2;
+ (struct xen_memory_reservation *)ARG2;
char *which;
switch (ARG1) {
PRE(mmuext_op)
{
- mmuext_op_t *ops = (void *)(unsigned int)ARG1;
+ mmuext_op_t *ops = (mmuext_op_t *)ARG1;
unsigned int i, nr = ARG2;
PRE(evtchn_op)
{
pre_evtchn_op(tid, layout, arrghs, status, flags,
- ARG1, (void *)(unsigned int)ARG2, 0);
+ ARG1, (void *)ARG2, 0);
}
PRE(evtchn_op_compat)
{
- struct evtchn_op *evtchn = (struct evtchn_op *)(unsigned int)ARG1;
+ struct evtchn_op *evtchn = (struct evtchn_op *)ARG1;
PRE_MEM_READ("__HYPERVISOR_event_channel_op_compat",
ARG1, sizeof(*evtchn));
}
PRE(sysctl) {
- struct xen_sysctl *sysctl = (struct xen_sysctl *)(unsigned int)ARG1;
+ struct xen_sysctl *sysctl = (struct xen_sysctl *)ARG1;
PRINT("__HYPERVISOR_sysctl ( %d )", sysctl->cmd);
PRE(domctl)
{
- struct xen_domctl *domctl = (struct xen_domctl *)(unsigned int)ARG1;
+ struct xen_domctl *domctl = (struct xen_domctl *)ARG1;
PRINT("__HYPERVISOR_domctl ( %d ) on dom%d", domctl->cmd, domctl->domain);
case XENMEM_increase_reservation:
case XENMEM_populate_physmap: {
struct xen_memory_reservation *memory_reservation =
- (struct xen_memory_reservation *)(unsigned int)ARG2;
+ (struct xen_memory_reservation *)ARG2;
POST_MEM_WRITE((Addr)memory_reservation->extent_start.p,
sizeof(xen_pfn_t) * memory_reservation->nr_extents);
POST(mmuext_op)
{
- unsigned int *pdone = (void *)(unsigned int)ARG3;
+ unsigned int *pdone = (unsigned int *)ARG3;
/* simplistic */
POST_MEM_WRITE((Addr)pdone, sizeof(*pdone));
}
POST(evtchn_op)
{
- post_evtchn_op(tid, ARG1, (void *)(unsigned int)ARG2, 0);
+ post_evtchn_op(tid, ARG1, (void *)ARG2, 0);
}
POST(evtchn_op_compat)
{
- struct evtchn_op *evtchn = (struct evtchn_op *)(unsigned int)ARG1;
+ struct evtchn_op *evtchn = (struct evtchn_op *)ARG1;
post_evtchn_op(tid, evtchn->cmd, &evtchn->u, 1);
}
POST(sysctl)
{
- struct xen_sysctl *sysctl = (struct xen_sysctl *)(unsigned int)ARG1;
+ struct xen_sysctl *sysctl = (struct xen_sysctl *)ARG1;
if (!sysctl || sysctl->interface_version != XEN_SYSCTL_INTERFACE_VERSION)
return;
}
POST(domctl){
- struct xen_domctl *domctl = (struct xen_domctl *)(unsigned int)ARG1;
+ struct xen_domctl *domctl = (struct xen_domctl *)ARG1;
if (!domctl || domctl->interface_version != XEN_DOMCTL_INTERFACE_VERSION)
return;