Loading drivers/virt/haven/hh_msgq.c +4 −2 Original line number Diff line number Diff line Loading @@ -141,7 +141,7 @@ int hh_msgq_recv(void *msgq_client_desc, goto err; } if (!cap_table_entry->rx_cap_id) { if (cap_table_entry->rx_cap_id == HH_CAPID_INVAL) { pr_err("%s: Recv info for label %d not yet initialized\n", __func__, client_desc->label); ret = -EAGAIN; Loading Loading @@ -263,7 +263,7 @@ int hh_msgq_send(void *msgq_client_desc, goto err; } if (!cap_table_entry->tx_cap_id) { if (cap_table_entry->tx_cap_id == HH_CAPID_INVAL) { pr_err("%s: Send info for label %d not yet initialized\n", __func__, client_desc->label); ret = -EAGAIN; Loading Loading @@ -482,6 +482,8 @@ static int __init hh_msgq_init(void) for (i = 0; i < HH_MSGQ_LABEL_MAX; i++) { cap_table_entry = &hh_msgq_cap_table[i]; cap_table_entry->tx_cap_id = HH_CAPID_INVAL; cap_table_entry->rx_cap_id = HH_CAPID_INVAL; cap_table_entry->tx_full = false; cap_table_entry->rx_empty = true; init_waitqueue_head(&cap_table_entry->tx_wq); Loading include/linux/haven/hh_common.h +3 −0 Original line number Diff line number Diff line Loading @@ -16,6 +16,9 @@ typedef u32 hh_memparcel_handle_t; typedef u64 hh_capid_t; typedef u64 hh_dbl_flags_t; /* Common Haven macros */ #define HH_CAPID_INVAL U64_MAX enum hh_vm_names { HH_PRIMARY_VM, HH_TRUSTED_VM, Loading Loading
drivers/virt/haven/hh_msgq.c +4 −2 Original line number Diff line number Diff line Loading @@ -141,7 +141,7 @@ int hh_msgq_recv(void *msgq_client_desc, goto err; } if (!cap_table_entry->rx_cap_id) { if (cap_table_entry->rx_cap_id == HH_CAPID_INVAL) { pr_err("%s: Recv info for label %d not yet initialized\n", __func__, client_desc->label); ret = -EAGAIN; Loading Loading @@ -263,7 +263,7 @@ int hh_msgq_send(void *msgq_client_desc, goto err; } if (!cap_table_entry->tx_cap_id) { if (cap_table_entry->tx_cap_id == HH_CAPID_INVAL) { pr_err("%s: Send info for label %d not yet initialized\n", __func__, client_desc->label); ret = -EAGAIN; Loading Loading @@ -482,6 +482,8 @@ static int __init hh_msgq_init(void) for (i = 0; i < HH_MSGQ_LABEL_MAX; i++) { cap_table_entry = &hh_msgq_cap_table[i]; cap_table_entry->tx_cap_id = HH_CAPID_INVAL; cap_table_entry->rx_cap_id = HH_CAPID_INVAL; cap_table_entry->tx_full = false; cap_table_entry->rx_empty = true; init_waitqueue_head(&cap_table_entry->tx_wq); Loading
include/linux/haven/hh_common.h +3 −0 Original line number Diff line number Diff line Loading @@ -16,6 +16,9 @@ typedef u32 hh_memparcel_handle_t; typedef u64 hh_capid_t; typedef u64 hh_dbl_flags_t; /* Common Haven macros */ #define HH_CAPID_INVAL U64_MAX enum hh_vm_names { HH_PRIMARY_VM, HH_TRUSTED_VM, Loading