Searched refs:vmac_ctx_t (Results 1 – 3 of 3) sorted by relevance
110 } vmac_ctx_t; typedef147 vmac_ctx_t *ctx);153 vmac_ctx_t *ctx);158 vmac_ctx_t *ctx);164 void vmac_set_key(unsigned char user_key[], vmac_ctx_t *ctx);
154 static void update_iommu_mac(vmac_ctx_t *ctx, uint64_t pt_maddr, int level) in update_iommu_mac()182 static void update_pagetable_mac(vmac_ctx_t *ctx) in update_pagetable_mac()211 vmac_ctx_t ctx; in tboot_gen_domain_integrity()275 vmac_ctx_t ctx; in tboot_gen_xenheap_integrity()315 vmac_ctx_t ctx; in tboot_gen_frametable_integrity()
721 static void vhash_abort(vmac_ctx_t *ctx) in vhash_abort()777 vmac_ctx_t *ctx) in vhash_update()845 vmac_ctx_t *ctx) in vhash()951 vmac_ctx_t *ctx) in vmac()997 void vmac_set_key(unsigned char user_key[], vmac_ctx_t *ctx) in vmac_set_key()1073 ALIGN(16) vmac_ctx_t ctx, ctx_aio, ctx_inc1, ctx_inc2; in main()
Completed in 6 milliseconds