1declare_domain(isolated_domU_t) 2create_domain(dom0_t, isolated_domU_t) 3manage_domain(dom0_t, isolated_domU_t) 4domain_comms(dom0_t, isolated_domU_t) 5migrate_domain_out(dom0_t, isolated_domU_t) 6domain_self_comms(isolated_domU_t) 7 8