68a69,70
> int divideFromConf(uint32_t conf);
>
70a73,74
> ApicRegIndex decodeAddr(Addr paddr);
>