PHYSICAL
launch_dma |= NVDEF(NVA0B5, LAUNCH_DMA, SRC_TYPE, PHYSICAL);
launch_dma |= NVDEF(NVA0B5, LAUNCH_DMA, DST_TYPE, PHYSICAL);
launch_dma |= NVDEF(NVA0B5, LAUNCH_DMA, DST_TYPE, PHYSICAL);
args->flags = NVDEF(NVOS04, FLAGS, CHANNEL_TYPE, PHYSICAL);
args->flags = NVDEF(NVOS04, FLAGS, CHANNEL_TYPE, PHYSICAL);
(void) build_key(td, PHYSICAL, b, b + 1llu, key);
(void) build_key(tc->td, PHYSICAL, data_begin, data_begin + len, &data_key);
timer_set_ctl(PHYSICAL, CTL_IMASK);
timer_set_next_cval_ms(PHYSICAL, test_args.timer_period_ms);
shared_data->xcnt = timer_get_cntct(PHYSICAL);
timer_set_ctl(PHYSICAL, CTL_ENABLE);
timer_set_next_tval_ms(PHYSICAL, test_args.timer_period_ms);
shared_data->xcnt = timer_get_cntct(PHYSICAL);
timer_set_ctl(PHYSICAL, CTL_ENABLE);
accessor = PHYSICAL;
test_vm_create(&vm, &vcpu, PHYSICAL);
timer = PHYSICAL;
timer_set_ctl(PHYSICAL, CTL_IMASK);
if (timer == PHYSICAL)
case PHYSICAL:
case PHYSICAL:
case PHYSICAL:
case PHYSICAL:
case PHYSICAL:
case PHYSICAL:
case PHYSICAL: