1/*# 2 *#Copyright 2019, Data61 3 *#Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4 *#ABN 41 687 119 230. 5 *# 6 *#This software may be distributed and modified according to the terms of 7 *#the BSD 2-Clause license. Note that NO WARRANTY is provided. 8 *#See "LICENSE_BSD2.txt" for details. 9 *# 10 *#@TAG(DATA61_BSD) 11 #*/ 12 13/*- from 'global-endpoint.template.c' import allocate_cap with context -*/ 14 15/*- do allocate_cap(me, is_reader=True) -*/ 16/*- set notification = pop('notification') -*/ 17/*- set badge = pop('badge') -*/ 18 19/*# This is only used for seL4GlobalAsynchCallback #*/ 20/*- do stash('callback_notification', notification) -*/ 21 22seL4_CPtr /*? me.interface.name ?*/_notification(void) { 23 return /*? notification ?*/; 24} 25 26seL4_Word /*? me.interface.name ?*/_notification_badge(void) { 27 return /*? badge ?*/; 28} 29