COMMPAGE_ENTRY_ARM_SIGNAL_HANDLER
COMMPAGE_ENTRY_ARM_SIGNAL_HANDLER, "commpage_signal_handler",
&((addr_t*)commpageAddr)[COMMPAGE_ENTRY_ARM_SIGNAL_HANDLER],