sCommPageAddress
static ADDRESS_TYPE* sCommPageAddress;
sCommPageAddress[entry] = (addr_t)space - (addr_t)sCommPageAddress;
(void*)sCommPageAddress[entry]);
return (addr_t)space - (addr_t)sCommPageAddress;
sCommPageArea = create_area("kernel_commpage", (void **)&sCommPageAddress,
memset(sCommPageAddress, 0, COMMPAGE_SIZE);
sCommPageAddress[0] = COMMPAGE_SIGNATURE;
sCommPageAddress[1] = COMMPAGE_VERSION;
sFreeCommPageSpace = ALIGN_ENTRY(&sCommPageAddress[COMMPAGE_TABLE_ENTRIES]);