Lines Matching defs:value
45 static void local_apic_write(uint32_t reg, uint64_t value);
47 static void local_apic_write_task_reg(uint64_t value);
50 static void local_x2apic_write(uint32_t msr, uint64_t value);
52 static void local_x2apic_write_task_reg(uint64_t value);
116 local_apic_write(uint32_t reg, uint64_t value)
118 apicadr[reg] = (uint32_t)value;
134 local_apic_write_task_reg(uint64_t value)
137 setcr8((ulong_t)(value >> APIC_IPL_SHIFT));
140 setcr8((ulong_t)(value >> APIC_IPL_SHIFT));
142 apicadr[APIC_TASK_REG] = (uint32_t)value;
166 local_x2apic_write(uint32_t msr, uint64_t value)
172 tmp = (tmp & 0xffffffff00000000) | value;
187 local_x2apic_write_task_reg(uint64_t value)
189 X2APIC_WRITE(APIC_TASK_REG, value);
320 * this or if it should show up as its own value of platform_type.