monitor: armv8: add missing DEBUG_INVOCATION statement in invoke_monitor_is_retypeable
@@ -76,6 +76,7 @@ static inline errval_t
invoke_monitor_is_retypeable(uint64_t *raw, gensize_t offset,
gensize_t objsize, size_t count)
{
+ DEBUG_INVOCATION("%s: called from %p\n", __FUNCTION__, __builtin_return_address(0));
assert(sizeof(struct capability) <= 4*sizeof(uint64_t));
return cap_invoke5(cap_kernel, KernelCmd_Is_retypeable,
(uintptr_t)raw, offset, objsize, count).error;
