ucall_header
return align_up(sizeof(struct ucall_header), page_size) / page_size;
static struct ucall_header *ucall_pool;
struct ucall_header *hdr;
hdr = (struct ucall_header *)addr_gva2hva(vm, vaddr);
write_guest_global(vm, ucall_pool, (struct ucall_header *)vaddr);