HelenOS sources

MBOX_ADDR_ALIGN    94 kernel/genarch/include/genarch/drivers/bcm2835/mbox.h 	char tmp_ ## name[sizeof(type) + MBOX_ADDR_ALIGN] = { 0 };      \
MBOX_ADDR_ALIGN    95 kernel/genarch/include/genarch/drivers/bcm2835/mbox.h 	type *name = (type *)ALIGN_UP((uintptr_t)tmp_ ## name, MBOX_ADDR_ALIGN);