read_mailbox
val = read_mailbox(vcpu, offset, 4);
res = read_mailbox(vcpu, offset, len);
static bool (* const read_mailbox[NUM_MB])(void) = {
if (read_mailbox[n]())