__vgic_v3_read_vmcr
ret = ___vgic_v3_write_dir(vcpu, __vgic_v3_read_vmcr(),
vmcr = __vgic_v3_read_vmcr();