Searched refs:lvt_lint1_reg (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/usr/arrakismon/
H A Dapic.h31 uint32_t lvt_lint1_reg; member in struct:apic
H A Dapic.c30 ret->lvt_lint1_reg = 0x10000;
72 *val = a->lvt_lint1_reg;
124 a->lvt_lint1_reg = val;
/barrelfish-master/usr/vmkitmon/
H A Dapic.h31 uint32_t lvt_lint1_reg; member in struct:apic
H A Dapic.c30 ret->lvt_lint1_reg = 0x10000;
72 *val = a->lvt_lint1_reg;
124 a->lvt_lint1_reg = val;

Completed in 38 milliseconds