Skip to content

libsel4simple-default,riscv: implement irq_trigger #78

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
canarysnort01 wants to merge 2 commits into
base: master
Choose a base branch
from
Open

libsel4simple-default,riscv: implement irq_trigger #78

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
25e0687
libsel4simple-default,riscv: implement irq_trigger
canarysnort01 Aug 18, 2023
a3a136f
trivial: fix whitespace
canarysnort01 Aug 22, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 10 additions & 3 deletions libsel4simple-default/src/arch/riscv/default.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,14 +15,21 @@

#include <vspace/page.h>

seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) {
seL4_Error simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth)
{
return seL4_IRQControl_Get(seL4_CapIRQControl, irq, root, index, depth);
}

void
simple_default_init_arch_simple(arch_simple_t *simple, void *data)
seL4_Error simple_default_get_irq_trigger(void *data, int irq, int trigger, UNUSED int core, seL4_CNode root,
seL4_Word index, uint8_t depth)
{
return seL4_IRQControl_GetTrigger(seL4_CapIRQControl, irq, trigger, root, index, depth);
}

void simple_default_init_arch_simple(arch_simple_t *simple, void *data)
{
simple->data = data;
simple->irq = simple_default_get_irq;
simple->irq_trigger = simple_default_get_irq_trigger;
}