APIC_TASK_REG
mdb_printf("as_task_reg\t%x\n", papic[APIC_TASK_REG]);
return (rdmsr(REG_X2APIC_BASE_MSR + (APIC_TASK_REG >> 2)));
X2APIC_WRITE(APIC_TASK_REG, value);