PCID_USER
ucr3 = MAKECR3(info->hci_user_l3pfn, PCID_USER) |
if (pcid == PCID_USER) {
invpcid(INVPCID_ADDR, PCID_USER, va);