vlapic_set_apicbase
int vlapic_set_apicbase(struct vlapic *vlapic, uint64_t val);
error = vlapic_set_apicbase(vlapic, val);