#
512a0200 |
|
19-Mar-2020 |
Qian Ge <qian.ge@data61.csiro.au> |
replacing all ifndef with pargma once All the kernel header files now use pargma once rather than the ifndef, as the pre-processed C files do not change while header files are protected with pargma once. This will also solve any naming issues caused by ifndef.
|
#
79da0792 |
|
01-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Convert license tags to SPDX identifiers This commit also converts our own copyright headers to directly use SPDX, but leaves all other copyright header intact, only adding the SPDX ident. As far as possible this commit also merges multiple Data61 copyright statements/headers into one for consistency.
|
#
d0930f67 |
|
18-Mar-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
style: consistently attach return type Add attach-return-type to astyle
|
#
8639dbca |
|
06-Nov-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Abstractly declare a threads registers have changed This removes an #ifdef for x86-64 that was in generic code by declaring the generic mechanism that is being used as an Arch_ function
|
#
a5fa9570 |
|
01-May-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Change hasVCPU to generic archInfo boolean in public interfaces The Arch_hasVCPU function instead of cheaking for whether a thread has a VCPU was specifically checking for whether a thread on aarch32 had a VCPU, as that was the condition needed to be passed into sanitiseRegister. This made the implementation on x86 extremely confusing as Arch_hasVCPU was implemented to return false due to there being no need for sanitiseRegister on x86 to know whether there was a vcpu. This commit changes hasVCPU variables to be an abstract archInfo boolean that can be used arbitrarily by an architecture. Arch_hasVCPU function was also changed to become Arch_getSanitiseRegisterInfo whose result only passed to sanitiseRegister.
|
#
d7cf9730 |
|
26-Apr-2017 |
Joel Beeren <joel.beeren@nicta.com.au> |
Refactor sanitiseRegister to take a bool rather than a (tcb_t *). This involves adding a function to determine if a tcb has a vcpu, and makes verification a lot easier for arm-hyp.
|
#
ccd9020b |
|
29-Jan-2017 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Pass tcb_t to sanitiseRegister instead of arch_tcb_t
|
#
8a6936ff |
|
16-Nov-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Remove incorrect CONST usage This removes usages of CONST Arch_activateIdleThread. According to gcc 'a function that has pointer arguments and examines the data pointed to must not be declared const'. Whilst these functions do not presently examine their tcb_t pointer argument, it seems pointless to pass something that can never be safely looked at. Further a function that returns void and is CONST is utterly meaningless
|
#
914741ea |
|
27-May-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
x86: Make x86 the name of the architecture instead of IA32 IA32 is 32bit version of the x86 architecture. Whilst only IA32 is supported, much of the code is generic x86. Using a generic x86 architecture will aid in future 64bit support
|